Logic programming: operational semantics and proof theory

ग्रंथसूची विवरण
मुख्य लेखक: Andrews, James H
स्वरूप: Printed Book
भाषा:English
प्रकाशित: Camgridge Cambridge University press 1992
विषय:
Programming language and semantics

समान संसाधन

समान संसाधन

  • 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)