Results 181 to 190 of about 47,990 (216)

Logic and language models for computer science

ACM SIGACT News, 2002
Henry Hamburger, Dana Richards
openaire   +1 more source

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

Computer, 1974
David C Rine
exaly  

The development of multiple-valued logic as related to computer science

Computer, 1974
George Epstein, David C Rine
exaly  

Teach the importance of logic (programming) in Computer Science and why it is important

2023
Joaquin Arias
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  

Logics for Computer Science

2018
openaire   +1 more source

Logic in Computer Science

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

Algebra and logic in theoretical computer science

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

Computer Science Logic

1995
openaire   +1 more source

Special selection in logic in computer science

Journal of Symbolic Logic, 1997
openaire   +1 more source