Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

保存先:
書誌詳細
第一著者: Miki Hermann, Andrei Voronkov (edición)
フォーマット: 図書
言語:英語
出版事項: Berlín, Alemania : Springer, 2006, c2006
シリーズ:(Lecture Notes in Computer Science)
オンライン・アクセス:Ver documento en línea
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

類似資料: Logic for Programming, Artificial Intelligence, and Reasoning :