Logic for Applications - Texts in Computer Science - Anil Nerode - Bücher - Springer-Verlag New York Inc. - 9780387948935 - 17. Januar 1997
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Anil Nerode
Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition

Preis
SFr. 115,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 9. - 19. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.

476 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 17. Januar 1997
ISBN13 9780387948935
Verlag Springer-Verlag New York Inc.
Seitenanzahl 476
Maße 156 × 234 × 26 mm   ·   816 g
Sprache Englisch   Französisch  

Weitere Titel von Anil Nerode

Alle anzeigen

Alle Titel von Anil Nerode ansehen ( u. a. Taschenbuch und Gebundenes Buch )