Search
|
About
|
Preferences
|
Interact
|
Help
150 million books. 1 search engine.
author, title, or isbn search
Go
Tobias Nipkow
(Nipkow, Tobias)
Automated Reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001: Proceedings
by Rajeev Gore, Alexander Leitsch, Tobias Nipkow
Softcover, Springer
, ISBN 3540422544 (3-540-42254-4)
FM 2006:Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings
by Not Available, Tobias Nipkow, Emil Sekerinski
Softcover, Springer-Verlag New York Inc
, ISBN 3540372156 (3-540-37215-6)
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa
by Jan Heering, Karl Meinke, Bernhard Moller, Tobias Nipkow
Softcover, Springer Verlag
, ISBN 0387582339 (0-387-58233-9)
Isabelle/Hol: A Proof Assistant for Higher-Order Logic
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Softcover, Springer Verlag
, ISBN 3540433767 (3-540-43376-7)
Rewriting Techniques and Applications: 9th International Conference, Rta-98 Tsukuba, Japan, March 30- April 1, 1998 Proceedings
by International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan), Tobias Nipkow
Softcover, Springer Verlag
, ISBN 354064301X (3-540-64301-X)
Term Rewriting and All That
by Tobias Nipkow, Franz Baader
Softcover, Cambridge Univ Pr
, ISBN 0521779200 (0-521-77920-0)
More editions of Term Rewriting and All That:
Term Rewriting and All That:
Hardcover, Cambridge Univ Pr, ISBN 0521455200 (0-521-45520-0)
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
by Henk Barendregt, Tobias Nipkow
Softcover, Springer Verlag
, ISBN 0387580859 (0-387-58085-9)
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
by Tobias Nipkow, Henk Barendregt
Hardcover, Springer-Verlag
, ISBN 3540580859 (3-540-58085-9)
Tobias Nipkow
at LibraryThing
coauthors & alternates:
Franz Baader
Henk Barendregt
Rajeev Gore
Jan Heering
International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan)
Alexander Leitsch
Karl Meinke
Bernhard Moller
Not Available
Lawrence C. Paulson
Emil Sekerinski
Markus Wenzel