Hoppa till sidans huvudinnehåll

Tobias Nipkow – författare

Visar alla böcker från författaren .
12 produkter
Franz Baader, Tobias Nipkow - Term Rewriting and All That, Häftad

Term Rewriting and All That

AvFranz Baader,Tobias Nipkow

Häftad, Engelska, 1999

889 kr

Skickas inom 7-10 vardagar

Tobias Nipkow, Gerwin Klein - Concrete Semantics, Inbunden

Concrete Semantics

With Isabelle/HOL

AvTobias Nipkow,Gerwin Klein

Inbunden, Engelska, 2014

1 159 kr

Skickas inom 10-15 vardagar

Tobias Nipkow, Gerwin Klein - Concrete Semantics, Häftad

Concrete Semantics

With Isabelle/HOL

AvTobias Nipkow,Gerwin Klein

Häftad, Engelska, 2016

829 kr

Skickas inom 10-15 vardagar

Jayadev Misra, Tobias Nipkow, Emil Sekerinski - FM 2006: Formal Methods, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Rajeev Gore, Alexander Leitsch, Tobias Nipkow - Automated Reasoning, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL, Häftad

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

AvTobias Nipkow,Lawrence C. Paulsonm. fl.

Häftad, Engelska, 2002

839 kr

Skickas inom 10-15 vardagar

Henk Barendregt, Tobias Nipkow - Types for Proofs and Programs, Häftad

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

709 kr

Skickas inom 10-15 vardagar

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow - Higher-Order Algebra, Logic, and Term Rewriting, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tobias Nipkow - Rewriting Techniques and Applications, Häftad

Rewriting Techniques and Applications

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

AvTobias Nipkow

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel - Theorem Proving in Higher Order Logics, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tobias Nipkow, Tobias Nipkow - Functional Data Structures and Algorithms, Inbunden

Functional Data Structures and Algorithms

A Proof Assistant Approach

AvTobias Nipkow,Tobias Nipkow

Inbunden, Engelska, 2025

1 099 kr

Skickas inom 5-8 vardagar

Tobias Nipkow, Tobias Nipkow - Functional Data Structures and Algorithms, Häftad

Functional Data Structures and Algorithms

A Proof Assistant Approach

AvTobias Nipkow,Tobias Nipkow

Häftad, Engelska, 2025

809 kr

Skickas inom 5-8 vardagar