Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Miki Hermann (Editor); Andrei Voronkov (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 22, 2006
Language: eng
Format: Paperback
Number of pages: 588
ISBN-13: 9783540482819
Subjects: Artificial intelligence; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Logic Design; Programming - Software Development; AI logics; Computers / Artificial Intelligence; SAT solvers; abstraction; automata theory; automated deduction; automated inference; automated reasoning; description logics; formal verification; logic programming; model checking; Programming - General