Recommendations
Cites work
- scientific article; zbMATH DE number 3954298 (Why is no real title available?)
- scientific article; zbMATH DE number 4049116 (Why is no real title available?)
- scientific article; zbMATH DE number 4049141 (Why is no real title available?)
- scientific article; zbMATH DE number 4055580 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- scientific article; zbMATH DE number 3090127 (Why is no real title available?)
- Analogy model and analogy correspondence
- Computational approaches to analogical reasoning: A comparative analysis
- Model theory
- Proof theory. 2nd ed
Cited in
(8)- Analogical program derivation based on type theory
- Intuitive minimal abduction in sequent calculi
- scientific article; zbMATH DE number 4055580 (Why is no real title available?)
- Analogical type theory
- A computational model of analogical reasoning
- Reasoning in symbolic computation
- scientific article; zbMATH DE number 3171114 (Why is no real title available?)
- Grammatical Inference: Algorithms and Applications
This page was built for publication: Analogy calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802070)