Articles liés à Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Synopsis
Book by Nipkow Tobias Paulson Lawrence C Wenzel Markus
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2002
- ISBN 10 3540433767
- ISBN 13 9783540433767
- ReliureBroché
- Langueanglais
- Nombre de pages240
Acheter neuf
Afficher cet article
EUR 48,96
EUR 3,79 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Image d'archives
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Edité par
Springer, 2002
ISBN 10 : 3540433767
ISBN 13 : 9783540433767
Ancien ou d'occasion
Couverture souple
Vendeur : St Vincent de Paul of Lane County, Eugene, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Acceptable. paperback 100% of proceeds go to charity! Acceptable reading copy with obvious signs of use, wear, and/or cosmetic issues. Item is complete and remains readable despite notable condition issues. N° de réf. du vendeur R-06-4518
Quantité disponible : 1 disponible(s)
Image d'archives
Isabelle/Hol: A Proof Assistant for Higher-Order Logic
Edité par
Springer, 2002
ISBN 10 : 3540433767
ISBN 13 : 9783540433767
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.83. N° de réf. du vendeur G3540433767I3N00
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Edité par
Springer, 2002
ISBN 10 : 3540433767
ISBN 13 : 9783540433767
Ancien ou d'occasion
paperback
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Gut. Seiten; 9783540433767.3 Gewicht in Gramm: 500. N° de réf. du vendeur 732142
Quantité disponible : 2 disponible(s)
Image d'archives
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
Edité par
Springer, 2008
ISBN 10 : 3540433767
ISBN 13 : 9783540433767
Ancien ou d'occasion
Paperback
Vendeur : Brit Books, Milton Keynes, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Used; Very Good. ***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality. N° de réf. du vendeur 4205118
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer Science, Band 2283
Edité par
Springer, 2002
ISBN 10 : 3540433767
ISBN 13 : 9783540433767
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. 218 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 395. N° de réf. du vendeur 2197771
Quantité disponible : 2 disponible(s)
Image d'archives
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Vendeur : Toscana Books, AUSTIN, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. N° de réf. du vendeur Scanned3540433767
Quantité disponible : 1 disponible(s)
Image d'archives
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020167516
Quantité disponible : Plus de 20 disponibles
Image d'archives
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540433767
Quantité disponible : Plus de 20 disponibles
Image d'archives
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540433767
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Isabelle/HOL
Edité par
Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10 : 3540433767
ISBN 13 : 9783540433767
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the y, but hardly anybody does that. Wenzel s dedicated syntax is elegant, replacing for example eight simpli cation tactics with a single method, namely simp, with associated - tions. The book has three parts. The rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL s treatment of sets, functions, and relations and explains how to de ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages. 240 pp. Englisch. N° de réf. du vendeur 9783540433767
Quantité disponible : 2 disponible(s)