Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
Ben-Ari, M
ISBN 10: 013564139X ISBN 13: 9780135641392
Verlag: Prentice-Hall, 1993
Gebraucht
Softcover
Verkäufer
Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Heritage Bookseller
AbeBooks-Mitglied seit 1996
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780135641392. Bestandsnummer des Verkäufers 9432038
Inhaltsangabe:
Covers propositional calculus, predicate calculus, resolution and logic programming, temporal logic, and formalization of programs
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Mathematical Logic for Computer Science (...
Verlag: Prentice-Hall
Erscheinungsdatum: 1993
Einband: Softcover
Zustand: Fair