Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / edited by Harald Ganzinger, David McAllester, Andrei Voronkov.

Saved in:
书目详细资料
企业作者: SpringerLink (Online service)
其他作者: Ganzinger, Harald (Editor), McAllester, David (Editor), Voronkov, Andrei (Editor)
格式: 电子书
语言:English
出版: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
版:1st ed. 1999.
丛编:Lecture Notes in Artificial Intelligence ; 1705
Springer eBook Collection.
主题:
Artificial intelligence.
Architecture, Computer.
Computer logic.
Computer programming.
Mathematical logic.
Electronic resources (E-books)
在线阅读:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
登录 预定和召回信息

因特网

Click to view e-book

Online

持有资料详情 Online
索引号: E-Book
可用 预订

相似书籍