Spring naar hoofdinhoud

TrefwoordAutomated Reasoning

Bevat: Automated Reasoning, automated reasoning, Automated reasoning

Vertalingen: Razonamiento automático, Raisonnement automatisé, Ragionamento automatico, Аутоматско резоновање

Werken met dit trefwoord

Meest gemerkt | Gewogen | Recent populair | Recent gepubliceerd — Filter: Geen (bewerk)

The Computer Modelling of Mathematical Reasoning door Alan Bundy (2 keer)
Inference Art Programming Guide door Bruce D. Clayton, PhD (1 keer)
The Seventeen Provers of the World door Freek Wiedijk (1 keer)
Extensions of First-Order Logic door Maria Manzano (1 keer)
Commonsense Reasoning door Erik T. Mueller (1 keer)
Nonmonotonic Reasoning door Grigoris Antoniou (1 keer)
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) door Donald MacKenzie (1 keer)
Term Rewriting and All That door Franz Baader (1 keer)
Causality: Models, Reasoning, and Inference door Judea Pearl (1 keer)

Titels Omslagen

Gebruik van het trefwoord

pgourdin (3), louisedennis (2), rasvedchik (1), dakvid (1), peoppenheimer (1)

Gerelateerde trefwoorden

Laden......

Gerelateerde reeks(en)

Cambridge Tracts in Theoretical Computer Science

Lecture Notes in Computer Science

Lecture Notes in Artificial Intelligence

Gerelateerde trefwoordmix

artificial intelligence, logic (3)

computer science, logic (2)

AI, economics (1)

AI, philosophy (1)

AI, politics (1)

algebra, programming (1)

artificial intelligence, --fiction (1)

artificial intelligence, economics (1)

artificial intelligence, ethics (1)

artificial intelligence, non-fiction, programming (1)

artificial intelligence, non-fiction, sociology (1)

artificial intelligence, philosophy (1)

business, probability (1)

causality, causation (1)

causality, metaphysics (1)

causation, metaphysics (1)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Onze site gebruikt cookies om diensten te leveren, prestaties te verbeteren, voor analyse en (indien je niet ingelogd bent) voor advertenties. Door LibraryThing te gebruiken erken je dat je onze Servicevoorwaarden en Privacybeleid gelezen en begrepen hebt. Je gebruik van de site en diensten is onderhevig aan dit beleid en deze voorwaarden.