Nalaganje...
Logic programming: operational semantics and proof theory
| Glavni avtor: | |
|---|---|
| Format: | Printed Book |
| Jezik: | English |
| Izdano: |
Camgridge
Cambridge University press
1992
|
| Teme: |
| Fizični opis: | xi, 104p. |
|---|---|
| ISBN: | 9 780521 432191 |