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

supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science

この本の情報

書名 Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom
著作者等 Association for Symbolic Logic
European Association for Theoretical Computer Science
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Symposium on Logic in Computer Science
書名別名 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) : Edinburgh, United Kingdom 11-14 July 2010
出版元 IEEE Computer Society
刊行年月 c2010
ページ数 432 p.
大きさ 27 cm
ISBN 9781424475889
NCID BB04149663
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想