Učitavanje...
Logic programming: operational semantics and proof theory
| Glavni autor: | |
|---|---|
| Format: | Printed Book |
| Jezik: | English |
| Izdano: |
Camgridge
Cambridge University press
1992
|
| Teme: |
| Opis: | xi, 104p. |
|---|---|
| ISBN: | 9 780521 432191 |