Logic programming: operational semantics and proof theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Andrews, James H
Μορφή: Printed Book
Γλώσσα:English
Έκδοση: Camgridge Cambridge University press 1992
Θέματα:
Programming language and semantics

Παρόμοια τεκμήρια

Παρόμοια τεκμήρια