A fascinating country in the world of computing
Automatic theorem provingKnowledge-based systems / expert systemsAppliedApplied MathematicsMathematicsComputers - General InformationScience/MathematicsArtificial Intelligence - General
Writing a summary for young readers…
For young readers
Book data: Open Library