Φορτώνει......
Logic programming: operational semantics and proof theory
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Printed Book |
| Γλώσσα: | English |
| Έκδοση: |
Camgridge
Cambridge University press
1992
|
| Θέματα: |
DCA
| Αντίγραφο | Η τρέχουσα κατάσταση είναι άγνωστη |
|---|