 |
0 索取号:TP302/E9017 作者:Andrews、 Michael、 1940-、 出版社:Potomac, Md. : Computer Science Press, 1980.
|  |
0 索取号:TP302/E995 作者:Allen、 C. Paul.、 出版社:New York : Prentice Hall, 1991.
|
 |
0 索取号:TP302/E808 作者:Kaufmann、 A. (Arnold)、 1911-、Grouchko、 Daniel、 joint author.、Cruon、 R.、 joint author.、 出版社:New York : Academic Press, 1977.
|  |
0 索取号:TP302/E803 作者:Hayes、 John P. (John Patrick)、 1944-、 出版社:New York : McGraw-Hill, 1978.
|
 |
0 索取号:TP301.1/E803 作者:Chasen、 Sylvan H.、 1926-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1978.
|  |
0 索取号:TP301.1/E802 作者:Gill、 Arthur、 1930-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1976.
|
 |
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 索取号:TP301/E994 作者: 出版社:N.Y. Boston : Academic Press, 1992.
|  |
0 索取号:TP301/E903 作者:Scott、 Norman R. (Norman Ross)、 1918-、 出版社:Englewood Cliffs, NJ : Prentice-Hall, 1985.
|
 |
0 索取号:TP301/E904 作者: 出版社:London : Pitman ; New York : Wiley, 1986.
|  |
0 索取号:TP301/E906 作者:Giarratano、 Joseph C.、 出版社:Indianapolis, Ind. : H.W. Sams. 1982.
|
 |
0 索取号:TP301/E902 作者: 出版社:Boca Raton, Fla. : CRC Press, 1982.
|  |
0 索取号:TP301/E901 作者:Davis、 Martin、 1928-、Weyuker、 Elaine J.、 出版社:New York : Academic Press, 1983.
|
 |
0 索取号:TP301/E905 作者: 出版社:Boca Raton, Fla. : CRC Press, 1982.
|  |
0 索取号:TP301/E995 作者:Anthony、 Martin.、Biggs、 Norman.、 出版社:Cambridge [England] ; New York : Cambridge University Press, 1992.
|