Proof assistant/Bibliography: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (Nipkow) |
imported>Boris Tsirelson (Wiedijk) |
||
| Line 15: | Line 15: | ||
| ISBN = 3-540-43376-7 | | ISBN = 3-540-43376-7 | ||
}}. | }}. | ||
{{Citation | |||
| editor-last = Wiedijk | |||
| editor-first = Freek | |||
| title = The Seventeen Provers of the World | |||
| series = Lecture Notes in Artificial Intelligence | |||
| volume = 3600 | |||
| year = 2006 | |||
| publisher = Springer | |||
| ISBN = 3-540-30704-4 | |||
}} | |||
Revision as of 12:40, 14 August 2010
- Please sort and annotate in a user-friendly manner. For formatting, consider using automated reference wikification.
Nipkow, Tobias; Lawrence C. Paulson & Markus Wenzel (2002), Isabelle/HOL — A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, vol. 2283, Springer, ISBN 3-540-43376-7.
Wiedijk, Freek, ed. (2006), The Seventeen Provers of the World, Lecture Notes in Artificial Intelligence, vol. 3600, Springer, ISBN 3-540-30704-4