Inductive logic programming

類似資料

• Programming with Higher-Order Logic /
  著者:: Miller,, Dale
  出版事項: (2012)
• Logic and prolog programming /
  著者:: Kaushik,Saroj
  出版事項: (2008)
• Program logics for certified compilers /
  著者:: Appel, Andrew W., 1960-
• Prolog versus you: an introduction to logic programming
  著者:: Edman, Anneli; Author, 等
  出版事項: (1989)
• Effective structured programming
  著者:: Ejiogu, Lem O
  出版事項: (1983)