Hoppa till sidans huvudinnehåll

Tobias Nipkow – författare

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

Term Rewriting and All That

AvFranz Baader,Tobias Nipkow

Häftad, Engelska, 1999

939 kr

Skickas inom 7-10 vardagar

Concrete Semantics

With Isabelle/HOL

AvTobias Nipkow,Gerwin Klein

Inbunden, Engelska, 2014

1 159 kr

Skickas inom 10-15 vardagar

Concrete Semantics

With Isabelle/HOL

AvTobias Nipkow,Gerwin Klein

Häftad, Engelska, 2016

829 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 449 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 449 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

849 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

709 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

729 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

729 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

729 kr

Skickas inom 10-15 vardagar

Functional Data Structures and Algorithms

A Proof Assistant Approach

AvTobias Nipkow,Tobias Nipkow

Inbunden, Engelska, 2025

1 079 kr

Skickas inom 5-8 vardagar

Functional Data Structures and Algorithms

A Proof Assistant Approach

AvTobias Nipkow,Tobias Nipkow

Häftad, Engelska, 2025

799 kr

Skickas inom 5-8 vardagar