(No Title)
収録刊行物
-
- Isabelle/HoL, A Proof Assistant for Higher-Order Logic
-
Isabelle/HoL, A Proof Assistant for Higher-Order Logic 2002
Springer
Isabelle/HoL, A Proof Assistant for Higher-Order Logic 2002
Springer