Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science - Tobias Nipkow - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540433767 - April 3, 2002
In case cover and title do not match, the title is correct

Tobias Nipkow
Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science 2002 edition

Price
Íkr 8,159
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 17 - 25

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. - The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.

226 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 3, 2002
ISBN13 9783540433767
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 226
Dimensions 235 × 157 × 19 mm   ·   376 g
Language English  

More by Tobias Nipkow

Show all

Mere med samme udgiver

See all of Tobias Nipkow ( e.g. Paperback Book and Hardcover Book )