Logic in action
暂无分享,去创建一个
[1] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[2] N. Curteanu. Book Reviews: Lecture on Contemporary Syntactic Theories: An Introduction to Unification-Based Approaches to Grammar , 1987, CL.
[3] Richard Montague,et al. The Proper Treatment of Quantification in Ordinary English , 1973 .
[4] John Launchbury,et al. Constructing Natural Language Interpreters in a Lazy Functional Language , 1989, Comput. J..
[5] David H. D. Warren,et al. Parsing as Deduction , 1983, ACL.
[6] Richard Montague,et al. ENGLISH AS A FORMAL LANGUAGE , 1975 .