共 50 条
- [34] Inference systems for logical algorithms FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 60 - 78
- [36] LOGICAL INFERENCE AND INTERPRETATION OF CONDITIONALS BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1977, 30 (MAY): : 156 - 156
- [38] LOGICAL METHODS FOR DESIGN AND ANALYSIS OF CHOICE MODELS PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2009, 3 (01): : 38 - +