Tools

LEADER 01894cam 2200445Ia 4500

001 ocm64581094;

003 OCoLC;

005 20141211185620.0;

008 051223s2006 gw 001 0 eng d;

010 a| 2005939043;

020 a| 3540307044;

020 a| 9783540307044;

035 a| (Sirsi) o64581094;

035 a| (OCoLC)64581094;

049 a| EREE;

090 a| QA9.54b| .S48 2006;

245 04 a| The seventeen provers of the world /c| Freek Wiedijk (ed.) ; foreword by Dana S. Scott.;

260 a| Berlin ;a| New York :b| Springer,c| 2006.;

300 a| xvi, 157 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 3600.a| Lecture notes in artificial intelligence. AI-systems;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Proof theoryx| Data processing.=| ^A630684;

650 0 a| Algebrax| Computer programs.=| ^A539437;

700 1 a| Wiedijk, Freek,d| 1961-=| ^A539423;

830 0 a| Lecture notes in computer sciencev| 3600.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.p| AI systems.=| ^A702227;

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3600z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Baker & Taylorb| BKTYc| 39.95d| 39.95i| 3540307044n| 0006730852s| active;

980 a| 2006-04-12b| 39.95d| 0e| 37.95f| 806341;

596 a| 1;

998 a| 1033040;

999 a| QA9.54 S48 2006w| LCc| 1i| 30372013687345d| 1/31/2013l| JGESm| JOYNERp| $37.95q| 1r| Ys| Yt| JGESBKu| 4/18/2006x| BOOKz| JSTACKSo| .STAFF. 0;

The seventeen provers of the world / Freek Wiedijk (ed.) ; foreword by Dana S. Scott.

Other author	Wiedijk, Freek, 1961-
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	xvi, 157 pages ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Proof theory--Data processing. Algebra--Computer programs.

Series	Lecture notes in computer science, 0302-9743 ; 3600. Lecture notes in artificial intelligence. AI-systems Lecture notes in computer science 3600. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263 Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems. ^A702227
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005939043
ISBN	3540307044
ISBN	9783540307044

Click here for more information about this title