Nalaganje...
Logic programming: operational semantics and proof theory
| Glavni avtor: | |
|---|---|
| Format: | Printed Book |
| Jezik: | English |
| Izdano: |
Camgridge
Cambridge University press
1992
|
| Teme: |
DCA
| Kopija | Zaloga ni dosegljiva |
|---|