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.

Sparad:
Bibliografiska uppgifter
Institutionell upphovsman: SpringerLink (Online service)
Övriga upphovsmän: Armando, Alessandro (Utgivare, redaktör, sammanställare), Baumgartner, Peter (Utgivare, redaktör, sammanställare), Dowek, Gilles (Utgivare, redaktör, sammanställare)
Materialtyp: E-bok
Språk:English
Publicerad: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Upplaga:1st ed. 2008.
Serie:Lecture Notes in Artificial Intelligence ; 5195
Springer eBook Collection.
Ämnen:
Artificial intelligence.
Software engineering.
Computer programming.
Mathematical logic.
Computer logic.
Electronic resources (E-books)
Länkar:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Logga in för att kontrollera reserveringsmöjlighet

Internet

Click to view e-book

Online

Beståndsuppgifter i Online
Signum: E-Book
Copy 1 Tillgänglig

Liknande verk