Zum Welttag des Buches: 15% Rabatt auf Bücher (DE/EN) und ausgewählte E-Books! Jetzt profitieren
Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Using Sophisticated Models in Resolution Theorem Proving

David M. Sandford
(0)
Erste Bewertung abgeben

Inhalt
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

Welttag des Buches_Aktion Bücher

15%

73.60

CHF62.55

Sie sparen CHF 11.05

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Inhalt
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

Produktinformationen

Titel:
Using Sophisticated Models in Resolution Theorem Proving
Untertitel:
Lecture Notes in Computer Science 90
Autor:
David M. Sandford
EAN:
9783540102311
ISBN:
3540102310
Format:
Kartonierter Einband
Herausgeber:
Springer Berlin Heidelberg
Genre:
Informatik
Veröffentlichung:
01.08.1980
Anzahl Seiten:
260
Gewicht:
400g
Größe:
H235mm x B155mm x T15mm
Jahr:
1980
Untertitel:
Englisch
Auflage:
1980

Mehr entdecken: IT & Informatik

Allgemein & Lexika, Anwendungs-Software, Informatik, Programmiersprachen