14th Symposium on Logic in Computer Science
Subtitle: proceedings : July 2-5, 1999, Trento, Italy
By: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publisher: IEEE Computer Society Press
Published: 1999
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 478
Subjects: Computer science -- Mathematics -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Genres: Congresses.
Other titles: 1999 IEEE 14th Annual Symposium on Logic in Computer Science; Proceedings, 14th Symposium on Logic in Computer Science; LICS'99
Notes: "PR0158"--T.p. verso.

"IEEE order plan catalog number 99CB36332"--T.p verso.

Includes bibliographical references and index.