Related Books

Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 727
Authors: Iliano Cervesato
Categories: Computers
Type: BOOK - Published: 2008-11-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008,
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 526
Authors: Edmund M. Clarke
Categories: Computers
Type: BOOK - Published: 2010-12-07 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 806
Authors: Ken McMillan
Categories: Computers
Type: BOOK - Published: 2013-12-05 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in Dec
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 526
Authors: Edmund M. Clarke
Categories: Computers
Type: BOOK - Published: 2011-01-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 572
Authors: Franz Baader
Categories: Computers
Type: BOOK - Published: 2005-02-09 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004,