LEADER 01917oam  2200457zu 450 
001 9910146537403321
005 20241212215242.0
010   $a9781538603185
010   $a1538603187
024 7 $a10.1109/CCC10690.2005
035   $a(CKB)1000000000021988
035   $a(SSID)ssj0000452005
035   $a(PQKBManifestationID)12191880
035   $a(PQKBTitleCode)TC0000452005
035   $a(PQKBWorkID)10464198
035   $a(PQKB)11536041
035   $a(NjHacI)991000000000021988
035   $a(EXLCZ)991000000000021988
100   $a20160829d2005      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aCCC 2005: 20th IEEE Conference on Computational Complexity (11-15 June 2005/San Jose, CA)
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2005
215   $a1 online resource $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9780769523644 
311 08$a0769523641 
330   $aThis annual conference seeks original research papers in all areas of computational complexity theory. The proceedings also encompasses results from other areas of computer science and mathematics motivated by topics in complexity theory. The 30 papers in CCC 2005 has a broad focus on computational complexity while exploring topics such as complexity classes, algebraic complexity, proof complexity, interactive proof systems, Kolmogorov complexity, reducibility, communication complexity, complexity and logic.
606   $aLogic programming$vCongresses
606   $aLogic programming
615  0$aLogic programming
615  0$aLogic programming.
676   $a005.115
801  0$bPQKB
906   $aPROCEEDING
912   $a9910146537403321
996   $aCCC 2005: 20th IEEE Conference on Computational Complexity (11-15 June 2005$92410550
997   $aUNINA