Llwytho...

Côd QR

Logic programming: operational semantics and proof theory

Manylion Llyfryddiaeth
Prif Awdur:	Andrews, James H
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Camgridge Cambridge University press 1992
Pynciau:	Programming language and semantics

Eitemau Tebyg

Semantics
gan: Palmer, F.R
Cyhoeddwyd: (1981)

Semantics
gan: Palmer F R
Cyhoeddwyd: (1996)

Semantics
gan: Kate Kearns
Cyhoeddwyd: (2000)

Semantics : a coursebook
gan: James R Hurford
Cyhoeddwyd: (2009)

Semantic theory
gan: Katz, Jerrold J.
Cyhoeddwyd: (1972)

Computational Semantics with Functional Programming
gan: Eijck, Jan Van and Unger, Christina
Cyhoeddwyd: (2010)

Semantics : a coursebook /
gan: Hurford, James R.
Cyhoeddwyd: (1983)

Semantics /
gan: Leech, Geoffrey N.
Cyhoeddwyd: (1974)

Semantics /
gan: Leech, Geoffrey N.
Cyhoeddwyd: (1974)

Semantics
gan: Leech, Geoffrey N.
Cyhoeddwyd: (1974)

Semantics /
gan: Lyons, John
Cyhoeddwyd: (1977)

Semantics
gan: Kearns, Kate
Cyhoeddwyd: (2011)

Semantics
gan: Leech, Geoffrey N.
Cyhoeddwyd: (1974)

Semantics
gan: Kearns, Kate
Cyhoeddwyd: (2000)

Semantics
gan: Palmer, F. R.
Cyhoeddwyd: (1981)

Semantics
gan: Palmer, F. R.
Cyhoeddwyd: (1981)

Semantics: A Course Book
gan: Hurford, James R.
Cyhoeddwyd: (2007)

Semantics with applications : an appetizer /
gan: Nielson, Hanne Riis
Cyhoeddwyd: (2011)

Computational semantics with functional programming
gan: Eijck, Jan van; Author, et al.
Cyhoeddwyd: (2010)

Semantic Theory
gan: Kempson, Ruth M.
Cyhoeddwyd: (1996)

Semantic Universal and Universal Semantics
gan: Aeffererr, D.Z
Cyhoeddwyd: (1991)

Complementary definitions of programming language semantics /
gan: Donahue, James Edward
Cyhoeddwyd: (1976)

Semantics : coursebook /
gan: Hurford, James R.
Cyhoeddwyd: (2009)

Semantics : a new outline /
gan: Palmer, F. R.
Cyhoeddwyd: (1976)

Semantics : a new outline /
gan: Palmer, F. R.
Cyhoeddwyd: (1976)

Studies in the semantic structure of Hindi /
gan: Bal, Kali Charan
Cyhoeddwyd: (1979)

Understanding semantics /
gan: Lobner, Sebastian
Cyhoeddwyd: (2013)

Lexical semantics /
gan: Cruse, D. A.
Cyhoeddwyd: (1986)

Introducing semantics
gan: Riemer, Nick; Author
Cyhoeddwyd: (2010)

Understanding Semantics
gan: Lobner, Sebastian
Cyhoeddwyd: (2002)

Semantics A coursebook /
gan: Hurford, James Retc
Cyhoeddwyd: (2007)

Introducing English semantics /
gan: Kreidler, Charles W.
Cyhoeddwyd: (2016)

Introducing english semantics
gan: Kreidler, Charles W
Cyhoeddwyd: (1998)

Natural Language Semantics
gan: Allan, Keith
Cyhoeddwyd: (2001)

Linguistic semantics : an introduction /
gan: Lyons, John
Cyhoeddwyd: (1995)

Linguistic semantics : an introduction /
gan: Lyons, John
Cyhoeddwyd: (1995)

Formal Semantics: An Introduction
gan: Cann, Ronnie
Cyhoeddwyd: (1993)

Linguistic Semantics: An Introduction
gan: Lyons, John
Cyhoeddwyd: (1995)

Semantics: a reader
Cyhoeddwyd: (2004)

Semantics A coursebook /
gan: Hurford, James R. Ete
Cyhoeddwyd: (1983)