-
西文图书1.Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 20 TP182/A939
馆藏复本:1
可借复本:1 IJCAR 2001
Springer, c2001.
(0) 馆藏 -
西文图书2.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/I74
馆藏复本:1
可借复本:1 Nipkow, Tobias,
Springer, c2002.
(0) 馆藏