Hoppa till sidans huvudinnehåll

Tobias Nipkow - Böcker

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

Term Rewriting and All That

AvFranz Baader,Tobias Nipkow m. fl.

Häftad, Engelska, 1999

889 kr

Skickas inom 10-15 vardagar

Concrete Semantics

With Isabelle/HOL

AvTobias Nipkow,Gerwin Klein

Inbunden, Engelska, 2014

1 059 kr

Skickas inom 10-15 vardagar

Concrete Semantics

With Isabelle/HOL

AvTobias Nipkow,Gerwin Klein

Häftad, Engelska, 2016

709 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 Nipkow m. fl.

Häftad, Engelska, 2006

1 409 kr

Skickas inom 10-15 vardagar

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

AvRajeev Gore,Alexander Leitsch m. fl.

Häftad, Engelska, 2001

1 369 kr

Skickas inom 10-15 vardagar

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

AvTobias Nipkow,Lawrence C. Paulson m. fl.

Häftad, Engelska, 2002

759 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

689 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 Meinke m. fl.

Häftad, Engelska, 1994

689 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

689 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 Nipkow m. fl.

Häftad, Engelska, 2009

689 kr

Skickas inom 10-15 vardagar

Functional Data Structures and Algorithms

A Proof Assistant Approach

AvTobias Nipkow,Tobias Nipkow

Inbunden, Engelska, 2025

1 049 kr

Skickas inom 10-15 vardagar

Functional Data Structures and Algorithms

A Proof Assistant Approach

AvTobias Nipkow,Tobias Nipkow

Häftad, Engelska, 2025

769 kr

Skickas inom 10-15 vardagar