Automation of Reasoning

1/1
Afbeelding van Automation of Reasoning
Bol
Prijzen vanaf
91,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (3)

Beschrijving

Bol 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.
Description Beschrijving
Product Specifications Productspecificaties
Price History Prijshistorie
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (3)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
91,99
Gratis
91,99
Naar shop
Gratis Shipping Costs
Amazon Logo
106,99
Gratis
106,99
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
106,99
Gratis
106,99
Naar shop
Gratis Shipping Costs
Beschrijving (2)
Bol

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.

Amazon

Pagina's: 649, Editie: Softcover reprint of the original 1st ed. 1983, Paperback, Springer

Productspecificaties

Merk Springer
EAN
  • 9783642819575
Maat

Prijshistorie

* Prijshistorie bevat geen data van Amazon, Amazon Marketplace.

Prijzen voor het laatst bijgewerkt op:

The Automation of Reasoning with Incomplete Information

46,99
Meer informatie Meer info

Mathematical Reasoning with Diagrams From Intuition to Automation

28,99
Meer informatie Meer info

Independently Published

Reasoning Models Explained Handbook: A Practical Guide to AI Logic, Chain-of-Thought Reasoning,...

16,00
Vergelijk 2 shops 2 shops

Alphascript Publishing

Reasoning: Reasoning. Reason, Logic in Islamic philosophy, Deductive reasoning, Abductive Inductive Psychology of reasoning

31,59
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
91,99
Naar shop