Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, European Association for Theoretical Computer Science
Médium: Kniha
Jazyk:angličtina
Vydáno: Los Alamitos, Calif. ; Tokyo IEEE Computer Society 2010
ISBN:9781424475889, 1424475880
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Bibliografie:IEEE catalog number: CFP10039-PRT
Includes bibliographical references and index
ISBN:9781424475889
1424475880