Tobias Nipkow – författare
Visar alla böcker från författaren Tobias Nipkow.
12 produkter
Concrete Semantics
With Isabelle/HOL
Av Tobias Nipkow, Gerwin Klein
Inbunden, 2014
1159 kr
Lägg i varukorg
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Av Jayadev Misra, Tobias Nipkow m. fl.
Häftad, 2006
1449 kr
Lägg i varukorg
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Av Rajeev Gore, Alexander Leitsch m. fl.
Häftad, 2001
1449 kr
Lägg i varukorg
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Av Tobias Nipkow, Lawrence C. Paulson m. fl.
Häftad, 2002
849 kr
Lägg i varukorg
Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Av Henk Barendregt, Tobias Nipkow
Häftad, 1994
709 kr
Lägg i varukorg
Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Av Jan Heering, Karl Meinke m. fl.
Häftad, 1994
729 kr
Lägg i varukorg
Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Häftad, 1998
729 kr
Lägg i varukorg
Theorem Proving in Higher Order Logics
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Av Stefan Berghofer, Tobias Nipkow m. fl.
Häftad, 2009
729 kr
Lägg i varukorg
Functional Data Structures and Algorithms
A Proof Assistant Approach
Av Tobias Nipkow, Tobias Nipkow
Inbunden, 2025
1129 kr
Lägg i varukorg
Functional Data Structures and Algorithms
A Proof Assistant Approach
Av Tobias Nipkow, Tobias Nipkow
Häftad, 2025
829 kr
Lägg i varukorg