Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

保存先:
書誌詳細
団体著者: SpringerLink (Online service)
その他の著者: Voronkov, Andrei, Sutcliffe, Geoff
フォーマット: eBook
言語:English
シリーズ:Lecture Notes in Computer Science, 3835
主題:
オンライン・アクセス:Click here to view the full text content
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
その他の書誌記述
物理的記述:1 online resource (275 pages) digital.
ISBN:9783540316503
9783540305538
ISSN:0302-9743 ;