Willkommen, schön sind Sie da!
Logo Ex Libris

Using Sophisticated Models in Resolution Theorem Proving

  • Kartonierter Einband
  • 260 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
20%
86.00 CHF 68.80
Sie sparen CHF 17.20
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Produktinformationen

Titel: Using Sophisticated Models in Resolution Theorem Proving
Autor:
EAN: 9783540102311
ISBN: 3540102310
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 260
Gewicht: 400g
Größe: H235mm x B155mm x T14mm
Jahr: 1980
Untertitel: Englisch
Auflage: 1980

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"