Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

書誌事項

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

Michael Kaminski, Simone Martini (eds.)

(Lecture notes in computer science, 5213)

Springer, c2008

この図書・雑誌をさがす
注記

Includes bibliographical references and index

"LNCS Sublibrary: SL1 - Thoretical Computer Science"--t.p. verso

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ