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.

Weitere beliebte Ausgaben desselben Titels

9781447141303: Mathematical Logic for Computer Science

Vorgestellte Ausgabe

ISBN 10:  144714130X ISBN 13:  9781447141303
Verlag: Springer, 2012
Softcover