-
西文图书1.Symbolic logic and intelligent machines. O1-0/B512
馆藏复本:1
可借复本:1 Berkeley, Edmund Callis.
Reinhold Pub. Corp., [1959]
(0) 馆藏 -
西文图书2.Artificial intelligence applications in chemistry / O6-052/A791
馆藏复本:1
可借复本:1 Thomas H. Pierce, Bruce A. Hohne, editors.
American Chemical Society, 1986.
(0) 馆藏 -
西文图书3.Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving O18/W959
馆藏复本:8
可借复本:8 Wu, Wen-tsun.
Science Press ; c2000.
(0) 馆藏 -
西文图书4.Symbolic logic and mechanical theorem proving / O141/C456
馆藏复本:1
可借复本:1 Chang, Chin-Liang,
Academic Press, c1973.
(0) 馆藏