Neuware
Mathematical Logic for Computer Science
von Mordechai Ben-Ari
2012 Kartoniert, 364 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng Semantic tableaux are used because they are theoretically sound and easy to understandThe Third Edition has new chapters on SAT solvers and model checkingSupplementary materials: Prolog source code for the algorithms and answers…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9781447141280
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!