その他の書誌記述: Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings / Luke Ong (ed.).

Summary goes here

保存先:

書誌詳細
フォーマット:	図書
言語:	英語
主題:	Computer logic Logique informatique COMPUTERS Informatique. Computer logic. Computational logic Logik Logische Programmierung Programmierlogik Theoretische Informatik Logique (Informatique) Congress Conference papers and proceedings. Actes de congrès. Kongress. Oxford (2005)
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

その他の書誌記述
要約:	Summary goes here
記述事項:	General Notes
物理的記述:	1 online resource (xi, 565 pages) :illustrations
ISBN:	9783540318972 3540318976 3540282319 9783540282310