Tools

LEADER 02092cam 2200457 a 4500

001 ssj0000324193;

003 WaSeSS;

005 20240712080447.0;

006 m d ;

007 cr n ;

008 940607s1994 gw a sb 001 0 eng d;

010 a| 94003445;

020 a| 3540582444;

020 a| 0387582444;

035 a| (WaSeSS)ssj0000324193;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

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| Isabelleh| [electronic resource] :b| a generic theorem prover /c| Lawrence C. Paulson ; with contributions by Tobias Nipkow.;

260 a| Berlin ;a| New York :b| Springer-Verlag,;

300 a| xvii, 321 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science ;v| 828;

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

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

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

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

655 0 a| Electronic books.=| ^A491897;

700 1 a| Nipkow, Tobias,d| 1958-=| ^A354447;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Scienceu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2FBFb0030541;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2FBFb0030541;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4140439;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4140439-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4140439-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/2/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4140439-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

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

Author/creator	Paulson, Lawrence C.
Other author	Nipkow, Tobias, 1958-
Format	Electronic
Publication Info	Berlin ; New York : Springer-Verlag,
Description	xvii, 321 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science
Supplemental Content	Full text available from Springer Books
Subjects	Isabelle (Computer file) Automatic theorem proving.

Series	Lecture notes in computer science ; 828
Bibliography note	Includes bibliographical references (p. [301]-304) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	94003445
ISBN	3540582444
ISBN	0387582444

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

Click here for more information about this title