16th Annual IEEE Symposium on Logic in Computer Science:proceedings : 16-19 June, 2001, Boston, Massachusetts

Saved in:
Bibliographic Details
Corporate Authors: IEEE Symposium on Logic in Computer Science (16th 2001 Boston, Massachusetts; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Published: IEEE Computer Society,
Publisher Address: Los Alamitos, California
Publication Dates: c2001.
Literature type: Book
Language: English
Subjects:
Carrier Form: xii, 441 p.: ill. ; 28 cm.
Publication Frequency: Also available via the World Wide Web with additional title: Logic in Computer Science, 2001, proceedings, 16th Annual IEEE Symposium on.
ISBN: 076951281X
Index Number: TP302
CLC: TP302-532
Call Number: TP302-532/I59/2001
Contents: "IEEE Computer Society Order Number PR01218"--verso of T.p.
Includes bibliographic references and author index.