Loading...
Logic programming: operational semantics and proof theory
| Hovedforfatter: | Andrews, James H |
|---|---|
| Format: | Printed Book |
| Sprog: | English |
| Udgivet: |
Camgridge
Cambridge University press
1992
|
| Fag: |
Lignende værker
-
Semantics
af: Palmer, F.R
Udgivet: (1981) -
Semantics
af: Palmer F R
Udgivet: (1996) -
Semantics
af: Kate Kearns
Udgivet: (2000) -
Semantics : a coursebook
af: James R Hurford
Udgivet: (2009) -
Semantic theory
af: Katz, Jerrold J.
Udgivet: (1972)