|
|

avaa valikko

Tobias Nipkow | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 14 tuotetta
Haluatko tarkentaa hakukriteerejä?



Tobias Nipkow
John Wiley & Sons
2025
Kovakantinen kirja
Functional Data Structures and Algorithms - A Proof Assistant Approach
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
86,50 €
Tobias Nipkow
John Wiley & Sons
2025
Pehmeäkantinen kirja
Functional Data Structures and Algorithms - A Proof Assistant Approach
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
64,50 €
Franz Baader; Tobias Nipkow
Cambridge University Press
1999
Pehmeäkantinen kirja
Term Rewriting and All That
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,30 €
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
Springer
2002
Pehmeäkantinen kirja
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,20 €
Nipkow, Tobias
Springer
1998
Pehmeäkantinen kirja
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
60,30 €
Nipkow, Tobias; Klein, Gerwin
Springer
2014
Kovakantinen kirja
Concrete Semantics : With Isabelle/HOL
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
89,70 €
Nipkow, Tobias; Klein, Gerwin
Springer
2016
Pehmeäkantinen kirja
Concrete Semantics : With Isabelle/HOL
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
60,30 €
Barendregt, Henk; Nipkow, Tobias
Springer
1994
Pehmeäkantinen kirja
Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
60,30 €
Heering, Jan; Meinke, Karl; Möller, Bernhard; Nipkow, Tobias
Springer
1994
Pehmeäkantinen kirja
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
60,30 €
Gore, Rajeev; Leitsch, Alexander; Nipkow, Tobias
Springer
2001
Pehmeäkantinen kirja
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
119,10 €
Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil
Springer
2006
Pehmeäkantinen kirja
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
119,10 €
Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius
Springer
2009
Pehmeäkantinen kirja
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
60,30 €
Baader, Franz; Nipkow, Tobias
Cambridge University Press
1998
Kovakantinen kirja
Term Rewriting and All That
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
141,20 €
Baader, Franz; Nipkow, Tobias
CAMBRIDGE
2012
Verkkoaineisto
Term Rewriting and All That
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
243,00 €

Näytä lisää...