Logic and Computation - Interactive Proof with Cambridge Lcf
von Lawrence C. Paulson
2003 Kartoniert, 320 Seiten, 246mm x 189mm x 17mm, Sprache(n): eng Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It c…
111,33 EUR
ML for the Working Programmer
von C Paulson Lawrence Verlag: Cambridge University Press,
1991. Gebundene Ausgabe, Größe: 18.1 x 2.9 x 25.6 cm 439 Seiten Gebrauchs- und Lagerspuren. Innen: Geknickt. 38575070/3
- Sonderaktion: 10% Rabatt bis 11.06.2024
35,42 EUR
31,88 EUR
Isabelle - A Generic Theorem Prover
von Lawrence C. Paulson
1994 Kartoniert, 348 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle…
60,88 EUR
ML for the Working Programmer
von Lawrence C Paulson Verlag: Cambridge University Press
1996 XVIII, 476 Seiten, Broschiert Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Buchecke hinten bestoßen. Mit Vorbesitzereintrag.
ML for the Working Programmer
von Lawrence C. Paulson, Larry C. Paulson
2009 Kartoniert, 500 Seiten, 244mm x 170mm x 27mm, Sprache(n): eng This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
110,14 EUR
Interactive Theorem Proving - First International Conference, ITP 2010 Edinburgh, UK, July 11-14,…
von Matt Kaufmann Verlag: Springer Berlin,
2010 2010. Neubindung, Buchumschlag leicht geknickt, Auflage 2010 7910942/12
- Sonderaktion: 10% Rabatt bis 11.06.2024
118,35 EUR
106,51 EUR
Isabelle/HOL - A Proof Assistant for Higher-Order Logic
von Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson
2002 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis 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, i…
66,97 EUR
- Autor
- Paulson Lawrence C
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!