Logic for Computer Scientists: v. 8 (Progress in Computer Science S.) - Hardcover

Schoning, Uwe

 
9783764334536: Logic for Computer Scientists: v. 8 (Progress in Computer Science S.)

Inhaltsangabe

This text introduces the notions and methods of formal logic from a computer-science standpoint, covering propositional logic, predicate logic and foundations of logic programming.

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

Reseña del editor

This text introduces the notions and methods of formal logic from a computer-science standpoint, covering propositional logic, predicate logic and foundations of logic programming.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780817649210: Logic for Computer Scientists

Vorgestellte Ausgabe

ISBN 10:  0817649212 ISBN 13:  9780817649210
Verlag: Birkhäuser, 2013
Softcover