Results 281 to 290 of about 67,082 (308)

Computer Science as Immaterial Formal Logic

Philosophy and Technology, 2019
Selmer Bringsjord, Bringsjord Selmer
exaly  

Mathematical Logic for Computer Science

2001
openaire   +1 more source

Keeping logic in the trivium of computer science: a teaching perspective

Formal Methods in System Design, 2017
Anna Zamansky, Makowsky J A
exaly  

Special selection in logic in computer science

Journal of Symbolic Logic, 1997
openaire   +1 more source

Logics in Computer Science

2013
openaire   +1 more source

Logic in Computer Science

2004
Michael Huth 0001, Mark Dermot Ryan
openaire   +1 more source

The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science).

Bull. EATCS, 2004
Per F. V. Hasle, Peter Øhrstrøm
openaire  

Logics for Computer Science

2018
openaire   +1 more source

Development of Temporal Logic in Computer Science Based on Data Mining Technology

2021
exaly  

Computer Science Logic

1995
openaire   +1 more source