Logic in computer science
Subtitle: proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark
By: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ... [et al.].
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; Federated Logic Conference (3rd : 2002 : Copenhagen, Denmark)
Publisher: IEEE Computer Society
Published: 2002
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 461
Subjects: Computer science -- Mathematics -- Congresses; Logic, Symbolic and mathematical -- Congresses
Genres: Congresses.
Other titles: IEEE Symposium on Logic in Computer Science.; LICS 2002.
Notes: "IEEE Computer Society Order Number PR01483"--T.p. verso.

Includes bibliographical references and author index.

Also available via the World Wide Web.