Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Christian G. Fermüller
Themen in »Logic for Programming, Artificial Intelligence, and Reasoning«
Extension artificial intelligence automated reasoning computational complexity concurrency constraint programming description logic description logics distributed systems knowledge knowledge base knowledge representation model checking modeling proving
Stimmen zu »Logic for Programming, Artificial Intelligence, and Reasoning«
Details
ISBN: 9783642162428
Verlag: Springer Berlin
Erscheinung: 05.10.2010