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.

Spremljeno u:
Bibliografski detalji
Autor kompanije: SpringerLink (Online service)
Daljnji autori: Armando, Alessandro (Urednik), Baumgartner, Peter (Urednik), Dowek, Gilles (Urednik)
Format: e-knjiga
Jezik:English
Izdano: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Izdanje:1st ed. 2008.
Serija:Lecture Notes in Artificial Intelligence ; 5195
Springer eBook Collection.
Teme:
Artificial intelligence.
Software engineering.
Computer programming.
Mathematical logic.
Computer logic.
Electronic resources (E-books)
Online pristup:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Prijavi se za informacije o narudžbama i rezervacijama

Internet

Click to view e-book

Online

Detalji primjeraka od Online
Signatura: E-Book
Copy 1 Dostupno

Slični predmeti