LEADER 01484oam  2200385zu 450 
001 996218935103316
005 20210807003237.0
035   $a(CKB)111026746701456
035   $a(SSID)ssj0000454871
035   $a(PQKBManifestationID)12176930
035   $a(PQKBTitleCode)TC0000454871
035   $a(PQKBWorkID)10397986
035   $a(PQKB)10989575
035   $a(NjHacI)99111026746701456
035   $a(EXLCZ)99111026746701456
100   $a20160829d2000      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$a15th Annual IEEE Symposium on Logic in Computer Science
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2000
215   $a1 online resource (500 pages)
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-0725-5 
330   $aThis volume contains 39 papers from the June 2000 conference, addressing such topics as game semantics, complete axiomatization, modality, decision procedures for term algebras, set theory, query processing, and constraint satisfaction. Name index only. Annotation copyrighted by Book News, Inc., Portland, OR.
606   $aComputer science$xMathematics$vCongresses
615  0$aComputer science$xMathematics
676   $a004.0151
801  0$bPQKB
906   $aPROCEEDING
912   $a996218935103316
996   $a15th Annual IEEE Symposium on Logic in Computer Science$92298366
997   $aUNISA