Proceedings : Fourth Annual Symposium on Logic in Computer Science /

Сохранить в:

Библиографические подробности
Корпоративные авторы:	Symposium on Logic in Computer Science Philadelphia, Pa., IEEE Computer Society, ACM Special Interest Group for Automata and Computability Theory, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, Institute of Electrical and Electronics Engineers, European Association for Theoretical Computer Science
Формат:	Материалы конференции ‌
Язык:	English
Опубликовано:	Washington, D.C. : IEEE Computer Society, c1989.
Предметы:	Electronic data processing > Congresses. Computer programming > Congresses. Logic, Symbolic and mathematical > Congresses.

Описание
Примечание:	Cover Title: 1989 IEEE Fourth Annual Symposium on Logic in Computer Science. "Sponsored by the Technical Committee on Mathematical Foundations of Computing of the IEEE Computer Society ; in cooperation with the ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, and the European Association for Theoretical Computer Science"--p. ix. "IEEE catalog number 89CH2753-2". "IEEE Computer Society order number 1954".
Объем:	xvi, 402 p. : ill. ; 28 cm.
Библиография:	Includes bibliographies and index.
ISBN:	0818689544 0818619546 0818659548

Схожие документы