检索到 6 条 主题词=Automatic theorem proving 的结果
-
西文图书1.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/NT
馆藏复本：1
可借复本：1 Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
Springer, c2002.
(0) 馆藏 -
西文图书2.Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 20 TP18-53/IJC
馆藏复本：1
可借复本：1 Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书3.Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, Octob TP301-53/PTC
馆藏复本：1
可借复本：1 Reinhard Kahle, Peter Schroeder-Heister, Robert Stark (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书4.Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 TP311.1-53/TYP
馆藏复本：1
可借复本：1 Paul Callaghan ... [et al.] (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书5.Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scot TP18-53/TPH
馆藏复本：1
可借复本：1 Richard J. Boulton, Paul B. Jackson (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书6.Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, Septe O18-53/IWA
馆藏复本：1
可借复本：1 Jürgen Richter-Gebert, Dongming Wang (eds.).
Springer, c2001.
(0) 馆藏
