| Shelfclass_id | 4.B.3 |
| Sortkey | NIPKOW, TOBIAS |
| Authors | Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel |
| Title | Isabelle/HOL: A Proof Assistant for Higher-Order Logic |
| Publisher | Springer-Verlag |
| Year | c2002 |
| Languages | eng |
| Isbn | 3540433767 |
| Series | Lecture Notes in Computer Science |
| Volume | 2283 |
| Issn | 0302-9743 |
| Description | (softcover: alk. paper) xiii, 218 p. ill. 24 cm |
| Record date | 20060713 |
| Location | New York |
| Keywords | Computer logic, Automatic theorem proving |