Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data 001    UPD-00000176188 005    20090716221424.0 008    080209sCali us 000 eng 020 ## $a0818631422 041 ## $aEng 090 ## $aIN PROCESS QA9.8$bI33 1993 245 ## $aEight annual IEEE symposium on logic in computer science :$b proceedings, June 19-23, 1993, Montreal, Canada /$csponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing. 246 ## $aIEEE Computer Society Technical Committee on Mathematical Foundations of Computing 260 ## $aLos Alamitos :$bIEEE Computer Society Press, $cCalif.. 300 ## $a434 p. 650 ## $aLogic, symbolic and mathematical--Congresses. 711 ## $aIEEE Symposium on Logic in Computer Science (8th : 1993 : Montreal, Canada) 950 ## $aBook 852 ## $aUP$bDENG$hIN PROCESS QA9.8 I33 1993$pUDEGB0033192$rRegular Circulation$xE-ESEP-0382 842 ## $aBook           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