Gesamtpreis (1 Artikel Artikel):
Versandziel:
automation reasoning classical papers (18 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (18)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (11)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (2)
- Keine Print-on-Demand Angebote (18)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540120432 ISBN 13: 9783540120438
Sprache: Englisch
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1983. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1983. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Automation of Reasoning: 2: Classical Papers on Computational Logic 19671970 (Symbolic Computation)
Anbieter: Buchmarie, Darmstadt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 67,70
Währung umrechnenEUR 3,78 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Cover leicht verschmutzt. Buchschnitt leicht verschmutzt. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet.
-
Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 29,75
Währung umrechnenEUR 64,43 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Volume 1: Classical Papers on Computational Logic 1957-1966 No dust jacket. Good hardcover with some shelfwear; may have previous owner's name inside. Standard-sized.
-
Automation of Reasoning : Classical Papers on Computational Logic 1957¿1966
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642819540 ISBN 13: 9783642819544
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 106,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl' Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has come to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
-
Automation of Reasoning : 2: Classical Papers on Computational Logic 1967¿1970
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642819575 ISBN 13: 9783642819575
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 106,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Kind of crude, but it works, boy, it works!' AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has corne to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
-
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 111,53
Währung umrechnenEUR 5,73 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 115,67
Währung umrechnenEUR 5,73 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 96,89
Währung umrechnenEUR 25,77 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Artificial Intelligence)
EUR 96,89
Währung umrechnenEUR 25,77 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
EUR 29,45
Währung umrechnenEUR 97,99 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Artificial Intelligence)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 127,49
Währung umrechnenEUR 8,60 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation / Artificial Intelligence)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 156,98
Währung umrechnenEUR 11,50 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 537 pages. 9.61x6.61x1.50 inches. In Stock.
-
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Artificial Intelligence)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 103,75
Währung umrechnenEUR 64,47 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Artificial Intelligence)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 103,75
Währung umrechnenEUR 64,47 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation / Artificial Intelligence)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 158,95
Währung umrechnenEUR 11,50 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 649 pages. 9.60x6.70x1.50 inches. In Stock.
-
Automation of Reasoning: 2: Classical Papers on Computational Logic 19671970 (Symbolic Computation)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 168,25
Währung umrechnenEUR 28,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Automation of Reasoning: Classical Papers on Computational Logic 19571966 (Symbolic Computation)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 168,25
Währung umrechnenEUR 28,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Automation of reasoning. Classical papers on computational logic, 1957-1970
Erscheinungsdatum: 1983
Anbieter: Librairie Philosophique J. Vrin, Paris, Frankreich
Verkäuferbewertung 4 von 5 Sternen
EUR 70,00
Währung umrechnenEUR 11,13 für den Versand von Frankreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbCouverture rigide. Zustand: Bon. Berlin, 1983, 2 forts vol. in-8°, cart. édit.
