 |
0 索取号:TP31/E9014 作者:Atkinson、 Laurence V.、 出版社:Chichester : John Wiley & Sons, 1983.
|  |
0 索取号:TP303/E906 作者:Willis、 Neil.、Kerridge、 Jon.、 出版社:London : Pitman, 1983.
|
 |
0 索取号:TP302.2-532/E20011/1988 作者:Workshop on Computer Science Logic (2nd : 1988 : Duisburg、 Germany)、Börger、 E. (Egon)、 1946-、Kleine Büning、 H. (Hans)、Richter、 Michael M.、 1938-、 出版社:Berlin : Springer-Verlag, c1989.
|  |
0 索取号:TP302/E9018 作者: 出版社:Wien : Springer, c1984.
|
 |
0 索取号:TP301-53/E903/1989 作者:Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ、 R.S.F.S.R.)、Meyer、 Albert R.、Taitslin、 M. A. (Mikhail A.)、 1936-、 出版社:Berlin : Springer-Verlag, c1989.
|  |
0 索取号:TP3-54/E901 作者:Stallings、 Warren D.、Blissmer、 Robert H.、 出版社:New York : Wiley, c1984.
|
 |
0 索取号:TP32/E801 作者:COMPCON (13th : 1976 : Washington、 D.C.)、IEEE Computer Society.、 出版社:Wash. Long Beach, Calif. : Available from IEEE Computer Society, c1976.
|  |
0 索取号:TP3-53/E8014/1979 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (8th : 1979 : Olomouc、 Czechoslovakia)、Bečvář、 J.、 1926-、 出版社:Berlin ; New York : Springer-Verlag, 1979.
|
 |
0 索取号:TP3-53/E8014/1989 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 Porąbka、 Bielsko、 Poland and Kozubnik、 Poland)、Kreczmar、 Antoni.、Mirkowska-Salwicka、 Grażyna.、 出版社:Berlin : Springer-Verlag, c1989.
|  |
0 索取号:TP3-53/E9016/21 作者:Computer Personnel Research Conference (21st : 1985 : Minneapolis、 Minn.)、Wetherbe、 James C.、Association for Computing Machinery. Special Interest Group on Business Data Processing.、 出版社:New York : Association for Computing, Machinery, c1985.
|
 |
0 索取号:TP3/E997 作者: 出版社:Berlin ; New York : Springer-Verlag, c1990.
|  |
0 索取号:TP3/E9032 作者:Colin、 Andrew J. T.、 出版社:London : Macmillan Press, 1980.
|
 |
0 索取号:TP182/E901 作者:Giarratano、 Joseph C.、Riley、 Gary、 1962-、 出版社:Boston : Boyd & Fraser, 1989.
|  |
0 索取号:TP15/E701 作者:Naylor、 Thomas H.、 1936-、 出版社:New York : Wiley / [1966]
|
 |
0 索取号:TP11-53/E9024/2 作者:Conference on Artificial Intelligence Applications (2nd : 1985 : Miami Beach、 Fla.)、IEEE Computer Society.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, c1985.
|  |
0 索取号:TP11-53/E991 作者:International IEEE Conference on Tools with Artificial Intelligence (4th : 1992 : Arlington、 Va.)、IEEE Computer Society.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1992.
|