Verwandte Artikel zu Mathematical Logic for Computer Science (Prentice-hall...

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science) - Softcover

Ben-Ari, Mordechai

 
9780135641392: Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

Inhaltsangabe

Covers propositional calculus, predicate calculus, resolution and logic programming, temporal logic, and formalization of programs

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.