Laddar...
Logic programming: operational semantics and proof theory
| Huvudupphovsman: | Andrews, James H |
|---|---|
| Materialtyp: | Printed Book |
| Språk: | English |
| Publicerad: |
Camgridge
Cambridge University press
1992
|
| Ämnen: |
Liknande verk
-
Semantics
av: Palmer, F.R
Publicerad: (1981) -
Semantics
av: Palmer F R
Publicerad: (1996) -
Semantics
av: Kate Kearns
Publicerad: (2000) -
Semantics : a coursebook
av: James R Hurford
Publicerad: (2009) -
Semantic theory
av: Katz, Jerrold J.
Publicerad: (1972)