Proceedings : Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987

sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science

この本の情報

書名 Proceedings : Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987
著作者等 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Symposium on Logic in Computer Science
出版元 Computer Society Press of the IEEE
Order from Computer Society of the IEEE
刊行年月 c1987
ページ数 xi, 361 p.
大きさ 28 cm
ISBN 0818647930
0818687932
0818607939
NCID BA01487436
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想