by Lawrence C. Paulson
Paperback
ISBN: 978-0-387-58244-3
ISBN-10: 0-387-58244-4
Springer Verlag · 1994
|
|
by Lawrence C. PaulsonPaperback
ISBN: 978-0-387-58244-3 ISBN-10: 0-387-58244-4 Springer Verlag · 1994 |
| See also: | ||
| 1994 | Taschenbuch | Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) |