Clausal form logic an introduction to the logic of computer reasoning

Expert systems (Computer science)

Artificial intelligence.

Logic, Symbolic and mathematical.

Reasoning.

Computer systems > Programming > Applications of mathematical logic.