-
1Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic /by Nipkow, Tobias. editor., Wenzel, Markus. editor., Paulson, Lawrence C. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
2Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic /by Nipkow, Tobias. editor., Wenzel, Markus. editor., Paulson, Lawrence C. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS
![Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic /](/search/themes/bootstrap3/images/libros.png)