 |
0 索取号:B82/E991 作者:Kant、 Immanuel、 1724-1804.、Beck、 Lewis White.、 出版社:[Beijing] : China Social Sciences Publishing House, 1999.
|  |
0 索取号:O141/E20011 作者:Cignoli、 Roberto.、D'Ottaviano、 Itala M. L.、 1944-、Mundici、 Daniele、 1946-、 出版社:Boston : Kluwer Academic Publishers, 1999.
|
 |
0 索取号:F224.0/E993 作者:Samuelson、 Paul Anthony、 1915-、 出版社:Beijing : China Social Sciences Publishing House, 1999.
|  |
0 索取号:TP312/E9930 作者:REX School/Workshop (1990 : Noordwijkerhout、 Netherlands)、Bakker、 J. W. de (Jacobus Willem)、 1939-、Roever、 W.-P. de.、Rozenberg、 Grzegorz.、 出版社:Berlin ; New York : Springer-Verlag, 1991.
|
 |
0 索取号:TP311.13/E9918 作者: 出版社:Englewood Cliffs, NJ : Prentice Hall, 1990.
|  |
0 索取号:TP311/E9930 作者: 出版社:New York : Van Nostrand Reinhold, 1990.
|
 |
0 索取号:TP311/E9918 作者: 出版社:Reading, Mass. : Addison-Wesley, 1990.
|  |
0 索取号:TP31/E902 作者:Beckman、 Frank S.、 出版社:Reading, MA : Addison-Wesley, 1980.
|
 |
0 索取号:TP31/E9016 作者:Arsac、 Jacques.、 出版社:London ; Orlando : Academic Press, 1985.
|  |
0 索取号:TP301-53/E991/6 作者:Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|
 |
0 索取号:TP301-53/E991/1986 作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
|  |
0 索取号:O24-53/E803/13 作者:ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、 出版社:New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.
|
 |
0 索取号:TP3-53/E8014/1978 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (7th : 1978 : Zakopane、 Poland)、Winkowski、 J́Оzef、 1934-、 出版社:Berlin ; New York : Springer-Verlag, 1978.
|  |
0 索取号:TP3-53/E8014/1977 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : TatransḱА Lomnica、 Czechoslovakia)、Gruska、 Jozef.、 出版社:Berlin ; New York : Springer-Verlag, 1977.
|
 |
0 索取号:TP3-53/E8014/1991 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (16th : 1991 : Kazimierz、 Puławy、 Poland)、Tarlecki、 Andrzej.、 出版社:Berlin ; New York : Springer-Verlag, c1991.
|  |
0 索取号:TP3-53/E8014/1990 作者: 出版社:Berlin ; New York : Springer-Verlag, 1990,c1986.
|