Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Handbook of Automated Reasoning 1

bokomslag Handbook of Automated Reasoning

Data & IT

Handbook of Automated Reasoning

A Robinson • A Voronkov • Andrei Voronkov • Alan J A Robinson • Alan J A Robinson

Inbunden

3709:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Inbunden 3269:-

996 sidor
2001

This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

Författare: A Robinson, A Voronkov, Andrei Voronkov, Alan J A Robinson, Alan J A Robinson
Format: Inbunden
ISBN: 9780444829498
Språk: Engelska
Antal sidor: 996
Utgivningsdatum: 2001-06-21
Förlag: Elsevier Science