लोड हो रहा है...

Logic programming: operational semantics and proof theory

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

विवरण
भौतिक वर्णन:	xi, 104p.
आईएसबीएन:	9 780521 432191

समान संसाधन