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

Andrei Voronkov

Inbunden

3629:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

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: Andrei Voronkov
Format: Inbunden
ISBN: 9780444829498
Språk: Engelska
Antal sidor: 996
Utgivningsdatum: 2001-06-01
Förlag: North Holland