Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Logic for Computer Scientists
Langbeschreibung
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.
Inhaltsverzeichnis
Propositional Logic.- Predicate Logic.- Logic Programming.
ISBN-13:
9780817647636
Veröffentl:
2009
Seiten:
168
Autor:
Uwe Schöning
Serie:
Modern Birkhäuser Classics
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
64,19 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.