Vertel uw vrienden over dit artikel:
Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science Tobias Nipkow 2002 edition
Prijs
€ 55,49
Besteld in een afgelegen magazijn
Verwachte levering 7 - 15 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science
Tobias Nipkow
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 3 april 2002 |
| ISBN13 | 9783540433767 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 226 |
| Afmetingen | 235 × 157 × 19 mm · 376 g |
| Taal en grammatica | Engels |
Meer door Tobias Nipkow
Alles tonen![Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/591/9783319357591.jpg?tobias-nipkow-2016-concrete-semantics-with-isabelle-hol-paperback-book&class=scaled&v=1512057389)
![Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Hardcover Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/413/9783319105413.jpg?tobias-nipkow-2014-concrete-semantics-with-isabelle-hol-hardcover-book&class=scaled&v=1418535428)
Bekijk alles van Tobias Nipkow ( bijv. Paperback Book en Hardcover Book )