Interactive Theorem Proving
von
Matt Kaufmann Lawrence C. Paulson
Taschenbuch
Details (
USA
)
EAN=ISBN-13: 978-3-642-14053-2
ISBN-10: 3-642-14053-X
Springer
· 2011
