01219oam 2200421zu 450 991014112720332120241212220107.097807695441200769544126(CKB)2670000000097642(SSID)ssj0000669898(PQKBManifestationID)12224676(PQKBTitleCode)TC0000669898(PQKBWorkID)10715021(PQKB)11692631(NjHacI)992670000000097642(EXLCZ)99267000000009764220160829d2011 uy engur|||||||||||txtccr2011 26th Annual IEEE Symposium on Logic in Computer Science[Place of publication not identified]IEEE20111 online resourceBibliographic Level Mode of Issuance: Monograph9781457704512 145770451X Computer programmingComputer programming.001.642IEEE StaffPQKBPROCEEDING99101411272033212011 26th Annual IEEE Symposium on Logic in Computer Science2397740UNINA