共 50 条
- [23] Inference systems for logical algorithms FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 60 - 78
- [25] LOGICAL INFERENCE AND INTERPRETATION OF CONDITIONALS BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1977, 30 (MAY): : 156 - 156
- [29] Redefining logical constants as inference markers LINGUISTIC REVIEW, 2012, 29 (04): : 625 - 641
- [30] A logical algorithm for ML type inference REWRITING TECNIQUES AND APPLICATIONS, PROCEEDINGS, 2003, 2706 : 436 - 451