The following pages link to (Q5015380):
Displaying 6 items.
- Analogical and inductive inference. International Workshop AII'86, Wendisch-Rietz, GDR, October 6-10, 1986. Proceedings (Q1092016) (← links)
- Analogical and inductive inference. International workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989. Proceedings (Q1187687) (← links)
- Analogy in inductive theorem proving (Q1283199) (← links)
- Two problems of direct inference (Q1758563) (← links)
- (Q4000320) (← links)
- Two kinds of non-monotonic analogical inference (Q4632312) (← links)