共 50 条
- [31] PROOF-THEORETIC CONCEPTUAL MODELING - THE NIAM CASE-STUDY INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS, 1989, : 1 - 30
- [35] CONNECTIONIST MODEL DESCRIPTION - A CASE-STUDY MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 843 - 850
- [38] A CASE-STUDY IN KNOWLEDGE REPRESENTATION AND REASONING WITH HIGHER-ORDER COMBINATORS SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 37 - 48