Handbook of Automated Reasoning
Artificial intelligenceKnowledge representation (information theory)Deductive databasesLogic programmingFunctional programming (computer science)
Writing a summary for young readers…
For young readers
Book data: Open Library