Search
Now showing items 1-1 of 1
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference
(1987-08-01)
TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME ...