Handbook of Automated Reasoning
by Robinson, Alan, Andrei Voronkov
Artificial intelligenceKnowledge representation (information theory)Logic programmingFunctional programming (computer science)Computer science
Writing a summary for young readers…
For young readers
Book data: Open Library