Using Sophisticated Models in Resolution Theorem Proving
David M. Sandford
ISBN 10: 3540102310 ISBN 13: 9783540102311
Verlag: Springer, 1980
Neu
Taschenbuch
Verkäufer
preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 5. August 2024
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Using Sophisticated Models in Resolution Theorem Proving | David M. Sandford | Taschenbuch | xi | Englisch | 1980 | Springer | EAN 9783540102311 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 102157504
Inhaltsangabe:
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Using Sophisticated Models in Resolution ...
Verlag: Springer
Erscheinungsdatum: 1980
Einband: Taschenbuch
Zustand: Neu
Beste Suchergebnisse bei AbeBooks
Using Sophisticated Models in Resolution Theorem Proving
Anbieter: Bookbot, Prague, Tschechien
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Fine. Leichte Risse; Farbveränderung durch Alter/Sonne. 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR. Bestandsnummer des Verkäufers 5abcd287-759f-4fad-8da1-c4725ca8aaa8
Gebraucht kaufen
EUR 10,91
EUR 18,99 Versand
Versand von Tschechien nach USA
Versand von Tschechien nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers UTD1419751
Gebraucht kaufen
EUR 13,36
EUR 6,01 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Using Sophisticated Models in Resolution Theorem Proving
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.Inhaltsverzeichnis1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5. Bestandsnummer des Verkäufers 4880838
Neu kaufen
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science, 90)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020158866
Neu kaufen
EUR 52,70
EUR 3,43 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Using Sophisticated Models in Resolution Theorem Proving
Verlag:
Springer Berlin Heidelberg, Springer Aug 1980, 1980
ISBN 10: 3540102310
ISBN 13: 9783540102311
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR. 260 pp. Englisch. Bestandsnummer des Verkäufers 9783540102311
Neu kaufen
EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Using Sophisticated Models in Resolution Theorem Proving
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR. Bestandsnummer des Verkäufers 9783540102311
Neu kaufen
EUR 53,49
EUR 62,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Using Sophisticated Models in Resolution Theorem Proving
ISBN 10: 3540102310
ISBN 13: 9783540102311
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. Bestandsnummer des Verkäufers 9783540102311
Neu kaufen
EUR 53,49
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Using Sophisticated Models in Resolution Theorem Proving
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540102311
Neu kaufen
EUR 56,59
EUR 17,85 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science, 90)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540102311_new
Neu kaufen
EUR 58,50
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar