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.

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Armando, Alessandro (Editor), Baumgartner, Peter (Editor), Dowek, Gilles (Editor)
Médium: E-kniha
Jazyk:English
Vydáno: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Vydání:1st ed. 2008.
Edice:Lecture Notes in Artificial Intelligence ; 5195
Springer eBook Collection.
Témata:
Artificial intelligence.
Software engineering.
Computer programming.
Mathematical logic.
Computer logic.
Electronic resources (E-books)
On-line přístup:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Přihlaste se

Internet

Click to view e-book

Online

Informace o exemplářích z: Online
Signatura: E-Book
Copy 1 Dostupné

Podobné jednotky