Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings / edited by Bernhard Gramlich, Dale Miller, Ulrike Sattler.

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակ: SpringerLink (Online service)
Այլ հեղինակներ: Gramlich, Bernhard (Խմբագիր), Miller, Dale (Խմբագիր), Sattler, Ulrike (Խմբագիր)
Ձևաչափ: էլ․ գիրք
Լեզու:English
Հրապարակվել է: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Հրատարակություն:1st ed. 2012.
Շարք:Lecture Notes in Artificial Intelligence ; 7364
Springer eBook Collection.
Խորագրեր:
Mathematical logic.
Computer logic.
Artificial intelligence.
Software engineering.
Computer science—Mathematics.
Numerical analysis.
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
Հասանելի է Տեղադրեք պահում

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