Tools

LEADER 01318cam 2200361 a 4500

001 ocm30667004;

003 OCoLC;

005 20141212114332.0;

008 940607s1994 gw a b 001 0 eng ;

010 a| 94003445;

020 a| 3540582444;

020 a| 0387582444;

035 a| (Sirsi) o30667004;

035 a| (OCoLC)30667004;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.A96b| P38 1994;

082 00 a| 511.3/0285/532| 20;

100 1 a| Paulson, Lawrence C.=| ^A221078;

245 10 a| Isabelle :b| a generic theorem prover /c| Lawrence C. Paulson ; with contributions by Robias Nipkow.;

300 a| xvii, 321 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 828;

504 a| sqcludes bibliographical refernces (p. [301]-304) and index.;

630 00 a| Isabelle (Computer file)=| ^A356252;

650 0 a| Automatic theorem proving.=| ^A88007;

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

596 a| 1;

998 a| 563691;

999 a| QA76.9.A96 P38 1994w| LCc| 1i| 30372008316769d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $47.00r| Ys| Yt| JGESBKu| 10/31/1994x| BOOKz| JSTACKSo| .STAFF. 0;

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.

Author/creator	Paulson, Lawrence C.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1994.
Description	xvii, 321 pages : illustrations ; 24 cm.
Subjects	Isabelle (Computer file) Automatic theorem proving.

Series	Lecture notes in computer science ; 828 Lecture notes in computer science 828. ^A466336
Bibliography note	sqcludes bibliographical refernces (p. [301]-304) and index.
LCCN	94003445
ISBN	3540582444
ISBN	0387582444

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.

Click here for more information about this title