Logic programming: operational semantics and proof theory

Gelijkaardige items

• Semantics
  door: Palmer, F.R
  Gepubliceerd in: (1981)
• Semantics
  door: Palmer F R
  Gepubliceerd in: (1996)
• Semantics
  door: Kate Kearns
  Gepubliceerd in: (2000)
• Semantics : a coursebook
  door: James R Hurford
  Gepubliceerd in: (2009)
• Semantic theory
  door: Katz, Jerrold J.
  Gepubliceerd in: (1972)