检索到 8 条 主题词=Automatic theorem proving 的结果
-
西文图书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.Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 TP311.1/T991
馆藏复本：1
可借复本：1 TYPES 2000
Springer, c2002.
(0) 馆藏 -
西文图书3.Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, Septe O18/A939
馆藏复本：1
可借复本：1 International Workshop on Automated Deduction in Geometry
Springer, c2001.
(0) 馆藏 -
西文图书4.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/I74
馆藏复本：1
可借复本：1 Nipkow, Tobias,
Springer, c2002.
(0) 馆藏 -
西文图书5.Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scot TP18-532/T396
馆藏复本：1
可借复本：1 TPHOLs 2001
Springer, c2001.
(0) 馆藏 -
西文图书6.Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, Octob TP301/P965
馆藏复本：1
可借复本：1 PTCS 2001
Springer, c2001.
(0) 馆藏 -
西文图书7.Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving O18/W959
馆藏复本：8
可借复本：8 Wu, Wen-tsun.
Science Press ; c2000.
(0) 馆藏 -
西文图书8.Symbolic logic and mechanical theorem proving / O141/C456
馆藏复本：1
可借复本：1 Chang, Chin-Liang,
Academic Press, c1973.
(0) 馆藏
