Empirical explorations of the geometry theorem machine. In Proc. Western Joint Computer Conference 17

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Jeremy Norman's historyofscience, Novato, CA, USAJeremy Norman's historyofscience

Verkäufer/-in mit 2 Sternen

AbeBooks-Verkäufer/-in seit 9. Januar 1999

Verbandsmitglied: ABAAILAB

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Gebraucht

EUR 399,59

EUR 8,62 Versand 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Gelernter, Herman (1929-2015); J. R. Hansen; Donald W. Loveland (1934- ). Empirical explorations of the geometry theorem machine. In Proceedings of the Western Joint Computer Conference 17 (1960): 143-149. Whole volume. 279 x 217 mm. Original printed wrappers, front wrapper scuffed, lower spine reinforced with clear tape, library markings effaced with ink. Good to very good. First Edition. Gelernter’s geometry theorem machine, a software program he developed at IBM, was "the first advanced artificial intelligence program, and the third AI program ever. It is a logical AI system that can prove theorems in planar geometry about parallel lines, congruence, and equality and inequality of segments and angles" (Wikipedia article on Gelernter). The program "makes use of heuristic methods where they are most effective, but it also applies more powerful, more direct symbol manipulation processes where these are useful. Of special interest in the geometry proof program is the use of the diagram as a heuristic device in guiding search of the subproblem structure" (Feigenbaum and Feldman, p. 108). Feigenbaum and Feldman, Computers and Thought, 153-163 (reprinting this paper). .

Bestandsnummer des Verkäufers 51677

Bibliografische Details

Titel
Empirical explorations of the geometry theorem machine. In Proc. Western Joint Computer Conference 17
Autor
Gelernter, Herbert; J. R. Hansen; D. W. Loveland
Veröffentlichungsjahr
1960
Einband
Softcover

Jeremy Norman's historyofscience

Novato, CA, USA

Verkäufer/-in mit 2 Sternen

AbeBooks-Verkäufer/-in seit 9. Januar 1999

Verbandsmitglied:

Versandkosten innerhalb von USA

Artikel5 bis 14 Werktage3 bis 6 Werktage
Erster ArtikelEUR 8,62EUR 21,55
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Bankeinzug
  • Banküberweisung
  • PayPal
  • Zahlungsanweisung

Spezialisierung

Medicine, Science, Technology, Natural History, Autographs, Manuscripts, Appraisals

Verbandsmitglied

  • Antiquarian Booksellers' Association of America
  • International League of Antiquarian Booksellers
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Jeremy Norman's historyofscience

P. O. Box 867
Novato, CA USA 94948