Books By Nipkow, Tobias

Displaying 1- 3 of 3 results for keyword "Markus-Wenzel" books

Sort by:


1.		Isabelle/HOL A Proof Assistant for Higher-Order Logic Author: Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus ISBN: 978-3-540-43376-7 Book Format: Paperback List Price: USD $59.99 Publisher: Springer Berlin / Heidelberg Publication Date: Apr 2002 Quantity Note

2.		Isabelle/HOL A Proof Assistant for Higher-Order Logic Author: Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus ISBN: 978-3-540-45949-1 Book Format: Ebook List Price: USD $69.95 Publisher: Springer Berlin / Heidelberg Publication Date: Jul 2003 Quantity Note

3.		Isabelle/HOL A Proof Assistant for Higher-Order Logic Author: Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus ISBN: 978-3-540-43376-7 Book Format: Paperback List Price: AUD $112.95 Publisher: Springer Publication Date: Jan 2002 Quantity Note