A fascinating country in the world of computing
by Larry Wos, Gail W. Pieper · 1999

No description available.
Automatic theorem provingKnowledge-based systems / expert systemsAppliedApplied MathematicsMathematicsComputers - General InformationScience/MathematicsArtificial Intelligence - GeneralGeneralComputer science