Proceedings : Fourth Annual Symposium on Logic in Computer Science /

Proceedings : Fourth Annual Symposium on Logic in Computer Science /

Saved in:
Bibliographic Details
Corporate Authors: 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
Format: Conference Proceeding Book
Language:English
Published: Washington, D.C. : IEEE Computer Society, c1989.
Subjects:
Electronic data processing > Congresses.
Computer programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
Description
Item Description: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".
Physical Description:xvi, 402 p. : ill. ; 28 cm.
Bibliography:Includes bibliographies and index.
ISBN:0818689544
0818619546
0818659548

Similar Items