机读格式显示(MARC)
- 000 01324cam 2200349 a 4500
- 008 061129s2002 gw a b 001 0 eng
- 020 __ |a 3540433767 (softcover : alk. paper)
- 040 __ |a DLC |c DLC |d C$Q |d OHX |d SCT
- 050 00 |a QA76.9.L63 |b I83 2002
- 082 00 |a 004.01/5113 |2 21
- 099 __ |a CAL 022002177008
- 100 1_ |a Nipkow, Tobias, |d 1958-
- 245 10 |a Isabelle/HOL : |b a proof assistant for higher-order logic / |c Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
- 260 __ |a Berlin ; |a New York : |b Springer, |c c2002.
- 300 __ |a xiii, 218 p. : |b ill. ; |c 24 cm.
- 490 1_ |a Lecture notes in computer science, |x 0302-9743 ; |v 2283. |a Tutorial
- 504 __ |a Includes bibliographical references (p. [209]-211) and index.
- 530 __ |a Also available via the World Wide Web.
- 650 _0 |a Computer logic.
- 650 _0 |a Automatic theorem proving.
- 700 1_ |a Paulson, Lawrence C.
- 700 1_ |a Wenzel, Markus.
- 830 _0 |a Lecture notes in computer science ; |v 2283.
- 830 _0 |a Lecture notes in computer science. |p Tutorial.
- 856 41 |u http://link.springer-ny.com/link/service/series/0558/tocs/t2283.htm |z Connect to Isabelle/HOL (Online)
- 950 __ |a JHUL |b TP301.6 |c I74