Cover is for reference only

Logic in computer science：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

Saved in:
Bibliographic Details
Corporate Authors: Symposium on Logic in Computer Science (17th 2002 Copenhagen, Denmark; Federated Logic Conference 2002 Copenhagen, Denmark); IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Published: IEEE Computer Society,
Publisher Address: Los Alamitos, Calif.
Publication Dates: c2002.
Literature type: Book
Language: English
Subjects:
Logic, Symbolic and mathematical
Computer science > Mathematics
Carrier Form: xiii, 461 p.: ill. ; 28 cm.
Publication Frequency: Also available via the World Wide Web.
ISBN: 0769514839
0769514855 (microfiche)
Index Number: TP302
CLC: TP302-532
TP301.6-532
Call Number: TP302-532/I59/2002
Contents: "IEEE Computer Society Order Number PR01483"--T.p. verso.
Includes bibliographical references and author index.

Related Book Recommendations