Loading...

QR Code

Logic programming: operational semantics and proof theory

Bibliographic Details
Main Author:	Andrews, James H
Format:	Printed Book
Language:	English
Published:	Camgridge Cambridge University press 1992
Subjects:	Programming language and semantics

Similar Items

Semantics
by: Palmer, F.R
Published: (1981)

Semantics
by: Palmer F R
Published: (1996)

Semantics
by: Kate Kearns
Published: (2000)

Semantics : a coursebook
by: James R Hurford
Published: (2009)

Semantic theory
by: Katz, Jerrold J.
Published: (1972)

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

Semantics : a coursebook /
by: Hurford, James R.
Published: (1983)

Semantics /
by: Leech, Geoffrey N.
Published: (1974)

Semantics /
by: Leech, Geoffrey N.
Published: (1974)

Semantics
by: Leech, Geoffrey N.
Published: (1974)

Semantics /
by: Lyons, John
Published: (1977)

Semantics
by: Kearns, Kate
Published: (2011)

Semantics
by: Leech, Geoffrey N.
Published: (1974)

Semantics
by: Kearns, Kate
Published: (2000)

Semantics
by: Palmer, F. R.
Published: (1981)

Semantics
by: Palmer, F. R.
Published: (1981)

Semantics: A Course Book
by: Hurford, James R.
Published: (2007)

Semantics with applications : an appetizer /
by: Nielson, Hanne Riis
Published: (2011)

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

Semantic Theory
by: Kempson, Ruth M.
Published: (1996)

Semantic Universal and Universal Semantics
by: Aeffererr, D.Z
Published: (1991)

Complementary definitions of programming language semantics /
by: Donahue, James Edward
Published: (1976)

Semantics : coursebook /
by: Hurford, James R.
Published: (2009)

Semantics : a new outline /
by: Palmer, F. R.
Published: (1976)

Semantics : a new outline /
by: Palmer, F. R.
Published: (1976)

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

Understanding semantics /
by: Lobner, Sebastian
Published: (2013)

Lexical semantics /
by: Cruse, D. A.
Published: (1986)

Introducing semantics
by: Riemer, Nick; Author
Published: (2010)

Understanding Semantics
by: Lobner, Sebastian
Published: (2002)

Semantics A coursebook /
by: Hurford, James Retc
Published: (2007)

Introducing English semantics /
by: Kreidler, Charles W.
Published: (2016)

Introducing english semantics
by: Kreidler, Charles W
Published: (1998)

Natural Language Semantics
by: Allan, Keith
Published: (2001)

Linguistic semantics : an introduction /
by: Lyons, John
Published: (1995)

Linguistic semantics : an introduction /
by: Lyons, John
Published: (1995)

Formal Semantics: An Introduction
by: Cann, Ronnie
Published: (1993)

Linguistic Semantics: An Introduction
by: Lyons, John
Published: (1995)

Semantics: a reader
Published: (2004)

Semantics A coursebook /
by: Hurford, James R. Ete
Published: (1983)