Proof Complexity and Feasible Arithmetics 1

Data & IT

Proof Complexity and Feasible Arithmetics

Name: Proof Complexity and Feasible Arithmetics
Price: 1409 SEK
Availability: OutOfStock
Author: Paul W Beame
ISBN: 9780821805770

Paul W Beame

Inbunden

1409:-

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

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

320 sidor
1998

Questions of mathematical proof and logical inference have played a formative role in the development of computer science and artificial intelligence. Papers in this volume represent recent work of leading researchers in proof complexity and feasible arithmetic reflecting many of these advances.

Författare: Paul W Beame
Format: Inbunden
ISBN: 9780821805770
Språk: Engelska
Antal sidor: 320
Utgivningsdatum: 1998-02-01
Förlag: American Mathematical Society