-
西文图书1.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) 馆藏
馆藏复本:1
可借复本:1 A. Voronkov, ed.
Springer-Verlag, c1992.
(0) 馆藏