Logic for computer science | Libros

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003

Logic Programming

James H. Andrews

1992

Certified Programming with Dependent Types

Adam Chlipala

2013

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan

2012

Automated practical reasoning

Dongming Wang

1995

Automated Reasoning

Larry Wos

1987

Automated deduction

W. Bibel

1899

Foundations and applications of security analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

2009