LEADER 01514oam  2200397zu 450 
001 9910872766003321
005 20241212214804.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 08$a9780769507255 
311 08$a0769507255 
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   $a9910872766003321
996   $a15th Annual IEEE Symposium on Logic in Computer Science$92298366
997   $aUNINA