 |
0 索取号:TP302/E9030 作者:McDermott、 Robert M.、 出版社:U.S.A. Indianapolis, Ind., U.S.A. : H.W. Sams, 1985.
|  |
0 索取号:TP302/E906 作者:McCluskey、 Edward J.、 1929-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1986.
|
 |
0 索取号:TP302/E903 作者: 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science PUb. Co., 1986.
|  |
0 索取号:TP302/E9011 作者:Hill、 Fredrick J.、Peterson、 Gerald R.、 出版社:New York : Wiley, 1984.
|
 |
0 索取号:TP302/E908 作者:Holdsworth、 B. (Brian)、 出版社:London ; Boston : Butterworths, 1982.
|  |
0 索取号:TP302/E907 作者:Green、 David、 1941-、 出版社:Workingham, England ; Reading, Mass. : Addison-Wesley, 1986.
|
 |
0 索取号:TP302/E9014 作者:Downs、 Thomas、 1946-、Schulz、 Mark F.、 1951-、 出版社:New York : Van Nostrand Reinhold, 1989,c1988.
|  |
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 索取号:TP3/E9913 作者: 出版社:Oxford : Clarendon Press ; New York : Oxford University Press, 1992-<1995 >
|
 |
0 索取号:TP274/E802 作者:Wakerly、 John F.、 出版社:New York : North-Holland, 1978.
|  |
0 索取号:TP18-62/E992 作者: 出版社:Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1993-1998.
|
 |
0 索取号:TP18/E9918 作者: 出版社:Chichester ; New York : John Wiley & Sons Wiley, 1991.
|  |
0 索取号:TP17/E802 作者:Friedman、 Arthur D.、Menon、 Premachandran R.、 joint author.、 出版社:Woodland Hills, Calif. : Computer Science Press, [1975]
|
 |
0 索取号:TP11-51/E801 作者:Kowalski、 Robert.、 出版社:New York : Elsevier North Holland, 1979.
|  |
0 索取号:TN949.12/E804 作者:Wilding、 George Richard、 1916-、 出版社:London ; Boston : Newnes-Butterworths, 1976.
|