Tobias Nipkow – författare

Visar alla böcker från författaren Tobias Nipkow.

12 produkter

Kategorier

12 produkter

Term Rewriting and All That
AvFranz Baader,Tobias Nipkow
Häftad, Engelska, 1999
1 219 kr
Skickas inom 5-8 vardagar
Concrete Semantics
With Isabelle/HOL
AvTobias Nipkow,Gerwin Klein
Inbunden, Engelska, 2014
1 189 kr
Skickas inom 10-15 vardagar
Concrete Semantics
With Isabelle/HOL
AvTobias Nipkow,Gerwin Klein
Häftad, Engelska, 2016
849 kr
Skickas inom 10-15 vardagar
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
AvJayadev Misra,Tobias Nipkowm. fl.
Häftad, Engelska, 2006
1 479 kr
Skickas inom 10-15 vardagar
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
AvRajeev Gore,Alexander Leitschm. fl.
Häftad, Engelska, 2001
1 479 kr
Skickas inom 10-15 vardagar
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
AvTobias Nipkow,Lawrence C. Paulsonm. fl.
Häftad, Engelska, 2002
869 kr
Skickas inom 10-15 vardagar
Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
AvHenk Barendregt,Tobias Nipkow
Häftad, Engelska, 1994
729 kr
Skickas inom 10-15 vardagar
Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
AvJan Heering,Karl Meinkem. fl.
Häftad, Engelska, 1994
749 kr
Skickas inom 10-15 vardagar
Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
AvTobias Nipkow
Häftad, Engelska, 1998
749 kr
Skickas inom 10-15 vardagar
Theorem Proving in Higher Order Logics
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
AvStefan Berghofer,Tobias Nipkowm. fl.
Häftad, Engelska, 2009
749 kr
Skickas inom 10-15 vardagar
Functional Data Structures and Algorithms
A Proof Assistant Approach
AvTobias Nipkow,Tobias Nipkow
Inbunden, Engelska, 2025
1 129 kr
Skickas inom 5-8 vardagar
Functional Data Structures and Algorithms
A Proof Assistant Approach
AvTobias Nipkow,Tobias Nipkow
Häftad, Engelska, 2025
829 kr
Skickas inom 5-8 vardagar