Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence - J Siekmann - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642819544 - 10 janvier 2012
Si la couverture et le titre ne correspondent pas, le titre est correct.

J Siekmann
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence Softcover reprint of the original 1st ed. 1983 edition

Prix
€ 97,49

Commandé depuis un entrepôt distant

Livraison prévue 28 janv. - 5 févr.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Gelernter finished a computer program to prove simple high school geometry theorems. 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.

546 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 10 janvier 2012
ISBN13 9783642819544
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 528
Dimensions 170 × 244 × 28 mm   ·   857 g
Langue et grammaire Allemand  
Éditeur Siekmann, J.
Éditeur Wrightson, G.

Plus par J Siekmann

Afficher tout

Voir tous les J Siekmann ( par ex. Paperback Book )