Logic programming: operational semantics and proof theory

類似資料

• Semantics
  著者:: Palmer, F.R
  出版事項: (1981)
• Semantics
  著者:: Palmer F R
  出版事項: (1996)
• Semantics
  著者:: Kate Kearns
  出版事項: (2000)
• Semantics : a coursebook
  著者:: James R Hurford
  出版事項: (2009)
• Semantic theory
  著者:: Katz, Jerrold J.
  出版事項: (1972)