-
西文图书1.Symbolic logic and mechanical theorem proving / O141/E1
馆藏复本:3
可借复本:3 Chin-liang Chang [and] Richard Char-Tung Lee.
Academic Press, 1973.
(0) 馆藏 -
西文图书2.Practical object-oriented development with UML and Java = UML与Java面向对象开发 / TP312UM/2E
馆藏复本:5
可借复本:5 Richard C. Lee, William M. Tepfenhart著.
清华大学出版社, 2004.
(0) 馆藏