JSL volume 88 issue 4 Cover and Front matter
暂无分享,去创建一个
Dana | S. | H. Enderton | P. Eklof | J. Barwise | F. J. Pelletier | D. Monk | K. | Scott | D. Dzhafarov | J. | Martin | A. | Shore | Sylvy Anscombe | D. | Thomason | Richard | M. Benedikt | Parsons | Steven | G. Sabbagh | Vera Fischer | Michael Dunn | Charles | Steve Awodey | Veronica Becher | Lev Beklemishev | Alex Berenstein | Ricardo Camerlo | Itay Kaplan | Anton Setzer
[1] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[2] Michael R. Genesereth,et al. Logical foundations of artificial intelligence , 1987 .
[3] Raymond Turner,et al. Logics in Artificial Intelligence , 1994, Lecture Notes in Computer Science.