西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

21st Annual Symposium on Foundations of Computer Science : Syracuse, Oct. 13-15, 1980 / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.

出版发行项:

Long Beach : IEEE Computer Society, 1980.

载体形态项:

421 p. : ill. ; 28 cm.

变异题名:

Foundations of computer science

变异题名:

Twenty-First Annual Symposium on Foundations of Computer Science

会议名称:

Symposium on Foundations of Computer Science (21st : 1980 : Syracuse, N.Y.)

附加团体名称:

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

论题主题:

Machine theory-Congresses.

论题主题:

Electronic data processing-Congresses.

论题主题:

Switching theory-Congresses.

中图法分类号:

TP3-53

书目附注:

Includes bibliographical references.

豆瓣简介：