Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

出版社: Springer(2002-04-03)

ペーパーバック: 240 ページ / 15.5 x 1.4 x 23.5 cm

ISBN-10: 3540433767  ISBN-13: 9783540433767