Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000176188 Date and Time of Latest Transaction 20090716221424.0 General Information 080209sCali us 000 eng International Standard Book Number 0818631422 Language Code Eng Local Call Number IN PROCESS QA9.8 I33 1993 Title Statement Eight annual IEEE symposium on logic in computer science : proceedings, June 19-23, 1993, Montreal, Canada / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing Physical Description 434 p Subject Added Entry - Topical Term Logic, symbolic and mathematical--Congresses Added Entry - Meeting Name IEEE Symposium on Logic in Computer Science (8th : 1993 : Montreal, Canada) Format Book Location UP DENG IN PROCESS QA9.8 I33 1993 UDEGB0033192 Regular Circulation E-ESEP-0382 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library I IN PROCESS QA9.8 I33 1993           Digital Copy Not Available          Add to Book Cart  |   Download MARC