Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Geoff Sutcliffe (Editor); Andrei Voronkov (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 9, 2006
Language: eng
Format: Paperback
Number of pages: 744
ISBN-13: 9783540305538
Subjects: Computer Programming; Programming - General; Computers; Computers - General Information; Computer Books: Languages; Programming - Software Development; Artificial Intelligence - General; Logic Design; Computers / Artificial Intelligence; abstraction; ai logics; automata theory; automated deduction; automated inference; automated reasoning; description logics; formal verification; logic programming; model checking; normalization