-
西文图书1.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/I74
馆藏复本:1
可借复本:1 Nipkow, Tobias,
Springer, c2002.
(0) 馆藏
馆藏复本:1
可借复本:1 Nipkow, Tobias,
Springer, c2002.
(0) 馆藏