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

Online Public Access Catalogue

题名/责任者:

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.).

出版发行项:

Berlin : Springer-Verlag, c1989.

ISBN:

3540512373

ISBN:

0387512373 (U.S. : alk. paper)

载体形态项:

x, 289 p. : ill. ; 24 cm.

丛编题名:

Lecture notes in computer science ; 363

会议名称:

Botik '89 (1989 : Pereslavl-Zalesskii, R.S.F.S.R.)

附加个人名称:

Meyer, Albert R.

论题主题:

Computers-Congresses.

论题主题:

Electronic data processing-Congresses.

论题主题:

Logic, Symbolic and mathematical-Congresses.

中图法分类号:

TP302-532

书目附注:

Includes bibliographical references.

豆瓣简介：