The following pages link to Analogy calculus (Q1802070):
Displaying 7 items.
- A computational model of analogical reasoning (Q1368206) (← links)
- Intuitive minimal abduction in sequent calculi (Q1389097) (← links)
- Analogical program derivation based on type theory (Q1802072) (← links)
- Analogical type theory (Q1895393) (← links)
- (Q3289834) (← links)
- Reasoning in symbolic computation (Q5175699) (← links)
- Grammatical Inference: Algorithms and Applications (Q5493012) (← links)