Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science, 90, Band 90) - Softcover
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.
Suchergebnisse für Using Sophisticated Models in Resolution Theorem Proving...
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,26
EUR 5,95 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
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 11,99
EUR 18,99 shipping
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, 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,22
EUR 3,40 shipping
Versand innerhalb von USA
Versand innerhalb von 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: 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,27
EUR 13,75 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 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,36
EUR 17,77 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 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 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Using Sophisticated Models in Resolution Theorem Proving
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 1980. Paperback. . . . . . Bestandsnummer des Verkäufers V9783540102311
Neu kaufen
EUR 70,66
EUR 10,50 shipping
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Using Sophisticated Models in Resolution Theorem Proving
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 1980. Paperback. . . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783540102311
Neu kaufen
EUR 87,67
EUR 8,94 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 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 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 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 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar