A computational logic /

相似書籍

• A computational logic handbook /
  由: Boyer, Robert S.
  出版: (1988)
• Automated theorem proving /
  由: Bibel, W., 1938-
  出版: (1982)
• Instantiation theory : on the foundations of automated deduction /
  由: Williams, James G.
  出版: (1991)
• Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
  出版: (1994)
• Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
  出版: (1994)