The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge
- 30 November 1996
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 20 (3) , 385-404
- https://doi.org/10.1016/s0169-023x(96)00012-2
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: