Wordt geladen...
Logic programming: operational semantics and proof theory
| Hoofdauteur: | |
|---|---|
| Formaat: | Printed Book |
| Taal: | English |
| Gepubliceerd in: |
Camgridge
Cambridge University press
1992
|
| Onderwerpen: |
DCA
| Kopie | Status is onbeschikbaar |
|---|