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.

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակ: SpringerLink (Online service)
Այլ հեղինակներ: Armando, Alessandro (Խմբագիր), Baumgartner, Peter (Խմբագիր), Dowek, Gilles (Խմբագիր)
Ձևաչափ: էլ․ գիրք
Լեզու: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 Հասանելի է

Նմանատիպ նյութեր