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

Data di pubblicazione: 1960

Venditore Heritage

Da: Jeremy Norman's historyofscience, Novato, CA, U.S.A.Jeremy Norman's historyofscience

Venditore con 2 stelle

Venditore AbeBooks dal 9 gennaio 1999

Membro dell’associazione: ABAAILAB

Brossura

Condizione: Usato

EUR 415,49

EUR 8,96 spedizione 
Spedito in U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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). .…

Codice articolo 51677

Dati bibliografici

Titolo
Empirical explorations of the geometry theorem machine. In Proc. Western Joint Computer Conference 17
Autore
Gelernter, Herbert; J. R. Hansen; D. W. Loveland
Anno di pubblicazione
1960
Rilegatura
Brossura

Jeremy Norman's historyofscience

Novato, CA, U.S.A.

Venditore con 2 stelle

Venditore AbeBooks dal 9 gennaio 1999

Membro dell’associazione:

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 5 a 14 giorni lavorativiDa 3 a 6 giorni lavorativi
Primo articoloEUR 8,96EUR 22,41
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno circolare
  • Bonifico bancario
  • PayPal
  • Vaglia postale

Specializzazione

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

Membro dell’associazione

  • Antiquarian Booksellers' Association of America
  • International League of Antiquarian Booksellers
I membri di queste associazioni si impegnano a rispettare gli standard più elevati. Si fanno garanti dell’autenticità di tutti gli oggetti messi in vendita. Forniscono descrizioni specialistiche e dettagliate, segnalano tutti i difetti e/o i restauri significativi, indicano prezzi trasparenti e corretti e operano secondo criteri di correttezza e onestà durante l’esperienza di acquisto.

Informazioni sull’azienda del venditore

Jeremy Norman's historyofscience

P. O. Box 867
Novato, CA U.S.A. 94948