Computational Logic and Human Thinking: How to Be Artificially Intelligent by Ro

From Computational Logic to Computational Biology: Essays Dedicated to Alfredo F

Computational Logic in Multi-agent Systems : 14th International Workshop, Cli...

Applied Logic for Computer Scientists : Computational Deduction and Formal Pr...

Computational Intelligence: A Logic..., Mackworth, Alan

Computational Logic in Multi-agent Systems : 14th International Workshop, Cli...

Applied Logic for Computer Scientists : Computational Deduction and Formal Pr...

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topi...