تحميل...
Logic programming: operational semantics and proof theory
المؤلف الرئيسي: | Andrews, James H |
---|---|
التنسيق: | Printed Book |
اللغة: | English |
منشور في: |
Camgridge
Cambridge University press
1992
|
الموضوعات: |
مواد مشابهة
-
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)