Willkommen. Schön, sind Sie da!
0
IHR WARENKORB IST AKTUELL LEER.
Haben Sie noch nichts passendes gefunden? Stöbern Sie durch unser komplettes Sortiment.
Oder melden Sie sich an bzw. registrieren Sie sich.
Ihre Vorteile
- Kostenlose Lieferung
- Kauf auf Rechnung
- Ex Libris Tiefpreis
- Filiallieferung und 650+ Abholorte
- Rabatt-Bons als Club-Mitglied
Using Sophisticated Models in Resolution Theorem Proving
Beschreibung
Inhalt
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Format auswählen
- Kartonierter EinbandCHF 73.60
Kartonierter Einband
CHF73.60
TIEFPREIS
CHF73.60
Print on Demand - Exemplar wird für Sie besorgt.
Kostenlose Lieferung
Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"
Band 90![Kartonierter Einband Using Sophisticated Models in Resolution Theorem Proving von David M. Sandford]()
Tief- preis
- Using Sophisticated Models in Resolution Theorem Proving
- David M. Sandford
Sie sind hier.
