12th Annual IEEE Symposium on Logic in Computer Science
Subtitle: proceedings, June 29 - July 2, 1997, Warsaw Poland
By: organized by Warsaw University ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing IEEE Computer Society ; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science.
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; Uniwersytet Warszawski
Publisher: IEEE Computer Society Press
Published: 1997
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 447
Subjects: Computer science -- Mathematics -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: 1997 IEEE 12th Annual Symposium on Logic in Computer Science; Twelfth Annual IEEE Symposium on Logic in Computer Science; Logic in Computer Science; LICS'97
Notes: "IEEE Computer Society Order number"--T.p. verso.

"IEEE Order Plan catalog number 97CB36092"--T.p. verso.

Includes bibliographical references and index.