Isabelle/HOL : a proof assistant for higher-order logic :: Tobias Nipkow :: ISBN 3540433767 :: Springer 2002 :: OBNB, the Open British National Bibliography

Publication Data

Title Isabelle/HOL : a proof assistant for higher-order logic
Author Tobias Nipkow
Contributors Lawrence C. Paulson, Markus Wenzel
Publisher Springer
Publication date 2002
Publication location Berlin
Language English

Topics

Computer logic
Automatic theorem proving

Catalogue Data

OBNB ID GBA228308
ISBN 10 3540433767
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xiii, 218 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Isabelle/HOL : a proof assistant for higher-order logic by Tobias Nipkow. ISBN 3540433767. Published by Springer in 2002. Publication and catalogue information, links to buy online and reader comments.