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

  • Tapa blanda
  • Usado
Ver todos los detalles
Vendedor patrimonial

Librería: Jeremy Norman's historyofscience, Novato, CA, Estados Unidos de AmericaJeremy Norman's historyofscience

Vendedor de 2 estrellas

Vendedor de AbeBooks desde 9 de enero de 1999

Miembro de asociación: ABAAILAB

Ver los artículos de este vendedor
Tapa blanda

Condición: Usado

EUR 399,59

Envío por EUR 8,62 
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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

N° de ref. del artículo 51677

Detalles bibliográficos

Título
Empirical explorations of the geometry theorem machine. In Proc. Western Joint Computer Conference 17
Autor
Gelernter, Herbert; J. R. Hansen; D. W. Loveland
Año de publicación
1960
Encuadernación
Encuadernación de tapa blanda

Jeremy Norman's historyofscience

Novato, CA, Estados Unidos de America

Vendedor de 2 estrellas

Vendedor de AbeBooks desde 9 de enero de 1999

Miembro de asociación:

Tarifas de envío en Estados Unidos de America

ArtículoDe 5 a 14 días hábilesDe 3 a 6 días hábiles
Primer artículoEUR 8,62EUR 21,55
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Giro bancario
  • Giro bancario
  • Giro postal
  • PayPal

Especialidad

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

Miembro de asociación

  • Antiquarian Booksellers' Association of America
  • International League of Antiquarian Booksellers
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.

Información empresarial del vendedor

Jeremy Norman's historyofscience

P. O. Box 867
Novato, CA Estados Unidos de America 94948