安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

31st Annual Symposium on Foundations of Computer Science : proceedings, October 22-24, 1990, St. Louis, Missouri / .v.2. sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.

出版发行项:

Los Alamitos, Calif. : IEEE Computer Society Press, c1990.

ISBN:

0818690828 (case)

ISBN:

081862082X (pbk.)

ISBN:

0818660821 (microfiche)

载体形态项:

2 v. (xiv, 881 p.) : ill. ; 28 cm.

变异题名:

Thirty-First Annual Symposium on Foundations of Computer Science

变异题名:

1990 IEEE 31st annual Symposium on Foundations of Computer Science

会议名称:

Symposium on Foundations of Computer Science (31st : 1990 : St. Louis, Mo.)

附加团体名称:

IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

论题主题:

Electronic data processing-Congresses.

论题主题:

Machine theory-Congresses.

论题主题:

Computational complexity-Congresses.

中图法分类号:

TP30-532

一般附注:

"IEEE catalog number 90CH29256"--T.p. verso.

书目附注:

Includes bibliographical references and index.

载体形态附注:

Online version also available to IEEE Xplore subscribers.

电子资源:

http://ieeexplore.ieee.org/servlet/opac?punumber=310

豆瓣简介：