The Use of the Typed Lambda Calculus for Guiding Naive Users in the Representation and Acquisition of Part-Whole Knowledge. (1996)

Cached

Download Links

by Mike Uschold , Mereology At Ecai- In Amsterdam
Citations:2 - 2 self