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

Saved in:
书目详细资料
企业作者: SpringerLink (Online service)
其他作者: Voronkov, Andrei, Sutcliffe, Geoff
格式: 电子书
语言: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 ;