Añadir a mi colección
Formato
También te puede gustar
Logic for programming artificial intelligence and reasoning
Moshe Y. Vardi
2003
Logic for computer science
Jean H. Gallier
1985
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 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
