Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science, 90, Band 90) - Softcover

Sandford, David M.

 
9783540102311: Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science, 90, Band 90)
Softcover
ISBN 10: 3540102310 ISBN 13: 9783540102311
Verlag: Springer, 2008

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540102310
ISBN 13 
9783540102311
Einband
Taschenbuch
Anzahl der Seiten
264
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland