Results 261 to 266 of about 53,090 (266)

Temporal logic and computer science

1995
openaire   +1 more source

Logic for computer science.

Steve Reeves, Michael Clarke
openaire  

Mathematical logic for computer science

2010
Mandioli D., SPOLETINI, PAOLA
openaire   +1 more source

Mathematics and Logics in Computer Science

openaire   +1 more source

LOGIC: Mathematics, Language, Computer Science and Philisophy. Volume II: Logic and Computer Science

1994
openaire   +1 more source

Logic - a foundation for computer science.

Volker Sperschneider, Grigoris Antoniou
openaire