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)