Handbook of automated reasoning
by J. A. Robinson, A. Voronkov
Qualitative reasoningAutomatic theorem provingArtificial intelligenceKnowledge representation (information theory)Deductive databasesLogic programmingFunctional programming (computer science)Handbooks, manuals
Writing a summary for young readers…
For young readers
Book data: Open Library