Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.

Saved in:
書目詳細資料
企業作者: SpringerLink (Online service)
其他作者: Armando, Alessandro (Editor), Baumgartner, Peter (Editor), Dowek, Gilles (Editor)
格式: 電子書
語言:English
出版: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
版:1st ed. 2008.
叢編:Lecture Notes in Artificial Intelligence ; 5195
Springer eBook Collection.
主題:
Artificial intelligence.
Software engineering.
Computer programming.
Mathematical logic.
Computer 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
Copy 1 可用

相似書籍