Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
"This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists.... Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline.... I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow.... This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level." ―SIGACT News
"Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming." ―Mathematical Reviews
"This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence." ―Zentralblatt MATH
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Versand:
EUR 3,74
Innerhalb der USA
Buchbeschreibung Paperback. Zustand: new. New. Fast Shipping and good customer service. Bestandsnummer des Verkäufers Holz_New_0817647627
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Paperback. Zustand: new. New Copy. Customer Service Guaranteed. Bestandsnummer des Verkäufers think0817647627
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: new. Bestandsnummer des Verkäufers FrontCover0817647627
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Paperback. Zustand: new. New. Bestandsnummer des Verkäufers Wizard0817647627
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Paperback. Zustand: new. Buy for Great customer experience. Bestandsnummer des Verkäufers GoldenDragon0817647627
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung paperback. Zustand: New. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Bestandsnummer des Verkäufers 000885702N
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 5497454-n
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9780817647629
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2416190237783
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: New. Buy with confidence! Book is in new, never-used condition. Bestandsnummer des Verkäufers bk0817647627xvz189zvxnew
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren