Results 181 to 190 of about 50,818 (216)

Logic and language models for computer science

ACM SIGACT News, 2002
Henry Hamburger, Dana Richards
openaire   +2 more sources

Multiple-valued logic and computer science and the 20th century

Computer, 1974
David C Rine
exaly  

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   +1 more source

Logics for Computer Science

2018
openaire   +1 more source

Algebra and logic in theoretical computer science

1977
Ferenc Gécseg, Péter Ecsedi-Tóth
openaire   +2 more sources

Computer Science Logic

1995
openaire   +1 more source

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

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

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

Logic in Computer Science Column.

Bull. EATCS, 1988
openaire   +2 more sources