Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Stefan Berghofer, Tobia Nipkow, Tobias Nipkow, Christian Urban, Christian Urban et al, Makarius Wenzel - Theorem Proving in Higher Order Logics
Stefan Berghofer, Tobia Nipkow, Tobias Nipkow, Christian Urban, Christian Urban et al, Makarius Wenzel Theorem Proving in Higher Order Logics Englisch 01.01.2009 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Hen Barendregt, Henk Barendregt, Nipkow, Nipkow, Tobias Nipkow - Types for Proofs and Programs
Hen Barendregt, Henk Barendregt, Nipkow, Nipkow, Tobias Nipkow Types for Proofs and Programs Englisch 01.01.1960 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jan Heering, Bernhard M¿ller, Kar Meinke, Karl Meinke, Bernhard Möller, Bernhard Möller et al... - Higher-Order Algebra, Logic, and Term Rewriting
Jan Heering, Bernhard M¿ller, Kar Meinke, Karl Meinke, Bernhard Möller, Bernhard Möller et al... Higher-Order Algebra, Logic, and Term Rewriting Englisch 01.01.1960 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Tobia Nipkow, Tobias Nipkow - Rewriting Techniques and Applications
Tobia Nipkow, Tobias Nipkow Rewriting Techniques and Applications Englisch 01.01.1960 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Franz Baader, Franz (Rheinisch-Westfalische Technische H Baader, Franz (Rheinisch-Westfalische Technische Hochschule Baader, Franz Nipkow Baader, Baader Franz, Tobias Nipkow... - Term Rewriting and All That
Franz Baader, Franz (Rheinisch-Westfalische Technische H Baader, Franz (Rheinisch-Westfalische Technische Hochschule Baader, Franz Nipkow Baader, Baader Franz, Tobias Nipkow... Term Rewriting and All That Englisch 05.08.1999 Taschenbuch Fr. 116.40 2-3 Wochen (Titel wird auf Bestellung gedruckt)
Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL
Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel Isabelle/HOL Englisch 25.04.2002 Taschenbuch Fr. 77.00 6-7 Wochen
R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, T. Nipkow... - Automated Reasoning
R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, T. Nipkow... Automated Reasoning Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics Englisch 15.12.2014 Fester Einband Fr. 104.00 6-7 Wochen
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics Englisch 10.09.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Franz Baader, Baader Franz Baader, Tobias Nipkow, Nipkow Tobias Nipkow - Term Rewriting and All That
Franz Baader, Baader Franz Baader, Tobias Nipkow, Nipkow Tobias Nipkow Term Rewriting and All That Englisch Fester Einband Fr. 89.00 In Neuauflage, zurzeit nicht erhältlich