-
西文图书1.SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and P TP31-532/S681(S)
馆藏复本:1
可借复本:1 SOFSEM (Conference)
Springer, c2001.
(0) 馆藏 -
西文图书2.Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to A O141.4/C748
馆藏复本:1
可借复本:1 Conference on Applications of Logic to Algebra and Arithmetic
Springer-Verlag, 1980.
(0) 馆藏