-
西文图书1.Analogy of automated reasoning / B812.23/E1
馆藏复本:1
可借复本:1 Stephen Owen.
Academic Press, c1990.
(0) 馆藏
-
西文图书2.Symbolic logic and mechanical theorem proving / O141/E1
馆藏复本:3
可借复本:3 Chin-liang Chang [and] Richard Char-Tung Lee.
Academic Press, 1973.
(0) 馆藏
-
西文图书3.10th International Conference on Automated Deduction : proceedings : Kaiserslautern, FRG, July 24-2 TP18-53/E21:10TH(90)
馆藏复本:1
可借复本:1 M.E. Stickel, (ed.).
Springer-Verlag, c1990.
(0) 馆藏
-
西文图书4.Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russ TP302.2-53/1:(92)E
馆藏复本:1
可借复本:1 A. Voronkov, ed.
Springer-Verlag, c1992.
(0) 馆藏