 |
0 索取号:B81/E991 作者:Sher、 Gila.、 出版社:Cambridge, Mass. : Bradford Book MIT Press, c1991.
|  |
0 索取号:B81/E901.2 作者:Hurley、 Patrick J.、 1942-、 出版社:Belmont, Calif. : Wadsworth Pub. Co., c1985.
|
 |
0 索取号:B81/E802.5 作者:Copi、 Irving M.、 出版社:New York : Macmillan, c1978.
|  |
0 索取号:B516.3/E803.3 作者:Hegel、 Georg Wilhelm Friedrich、 1770-1831.、Wallace、 William、 1844-1897.、 出版社:Oxford : Clarendon Press, 1975.
|
 |
0 索取号:O235/E993 作者:Friedman、 Menahem.、Kandel、 Abraham.、 出版社:River Edge, NJ : World scientific, 1999.
|  |
0 索取号:TP18/E9954 作者: 出版社:Dordrecht ; Boston : Kluwer Academic Publishers, c1997.
|
 |
0 索取号:TP302.2/E992 作者:Langholz、 Gideon.、Kandel、 Abraham.、Mott、 Joe L.、 出版社:Singapore : World Scientific, c1998.
|  |
0 索取号:F011/E992 作者:Mann、 Roger、 1955-、 出版社:Westport, Conn. : Praeger, 1996.
|
 |
0 索取号:TP332/E904 作者:Den Otter、 J、 出版社:Englewood Cliffs, N.J. : Prentice Hall, c1988
|  |
0 索取号:TP301-53/E991/12 作者:Symposium on Logic in Computer Science (12th : 1997 : Warsaw、 Poland)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif : IEEE Computer Society Press, c1997.
|
 |
0 索取号:TP302.2/E991 作者: 出版社:New York : McGraw-Hill, c1991.
|  |
0 索取号:TP301.6-532/E994 作者: 出版社:Berlin ; New York : Springer, c1997.
|
 |
0 索取号:TP332/E992 作者:Seals、 Richard C.、Whapshott、 G. F.、 出版社:New York : McGraw-Hill, c1997.
|  |
0 索取号:Q517/E991 作者: 出版社:Boca Raton : CRC Press, c1994.
|
 |
0 索取号:TP302.2-532/E20011/1993 作者: 出版社:Berlin ; New York : Springer-Verlag, c1994.
|  |
0 索取号:TP18-532/E9910/7 作者:Portuguese Conference on Artificial Intelligence (7th : 1995 : Funchal、 Madeira Island、 Portugal)、Mamede、 Nuno J. (Nuno Joao)、Pinto-Ferreira、 Carlos.、 出版社:Switzerland : Scitec Publications, c1996.
|