Proceedings
Subtitle: 15th annual Symposium on Logic in Computer Science : June 26-28, 2000, Santa Barbara, California
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
Published: 2000
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 425
Subjects: Computer science -- Mathematics -- Congresses; Logic, Symbolic and mathematical -- Congresses
Genres: Congresses
Other titles: 2000 IEEE 15th annual Symposium on Logic in Computer Science; 15th annual Symposium on Logic in Computer Science
Notes: "IEEE Computer Society [order number] 00PR0725"--T.p. verso

[IEEE order plan catalog number] "00CB37133"--Spine

Includes bibliographical references and index

Also available via the World Wide Web