Results 241 to 250 of about 53,090 (266)

Special selection in logic in computer science

Journal of Symbolic Logic, 1997
openaire   +2 more sources

Logic in Computer Science

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

Logic in Computer Science Column.

Bull. EATCS, 1988
openaire   +2 more sources

Keeping Logic in the Trivium of Computer Science: A Teaching Perspective

Formal Methods in System Design, 2017
Anna Zamansky, Johann Makowsky
exaly  

Computer Science Logic

1994
openaire   +1 more source

Logic and Computer Science

2017
openaire   +1 more source

Computer Science Logic

2000
openaire   +1 more source

Deontic Logic in Computer Science

Lecture Notes in Computer Science, 2004
exaly  

Computer Science Logic

Lecture Notes in Computer Science, 2002
exaly  

Logic in Computer Science

1993
openaire   +1 more source