Logic for Programming, Artificial Intelligence, and Reasoning
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Geoff Sutcliffe
Themen in »Logic for Programming, Artificial Intelligence, and Reasoning«
Resolution abstraction ai logics artificial intelligence automata automated deduction automated reasoning automated theorem proving description logics distributed systems formal verification logic programming model checking semantics verification
Stimmen zu »Logic for Programming, Artificial Intelligence, and Reasoning«
Details
ISBN: 9783540305538
Verlag: Springer Berlin
Erscheinung: 24.11.2005