Á lódáil...
Logic programming: operational semantics and proof theory
| Príomhúdar: | Andrews, James H |
|---|---|
| Formáid: | Printed Book |
| Teanga: | English |
| Foilsithe: |
Camgridge
Cambridge University press
1992
|
| Ábhair: |
Míreanna Comhchosúla
-
Semantics
le: Palmer, F.R
Foilsithe: (1981) -
Semantics
le: Palmer F R
Foilsithe: (1996) -
Semantics
le: Kate Kearns
Foilsithe: (2000) -
Semantics : a coursebook
le: James R Hurford
Foilsithe: (2009) -
Semantic theory
le: Katz, Jerrold J.
Foilsithe: (1972)