Carregant...

Codi QR

Logic programming: operational semantics and proof theory

Dades bibliogràfiques
Autor principal:	Andrews, James H
Format:	Printed Book
Idioma:	English
Publicat:	Camgridge Cambridge University press 1992
Matèries:	Programming language and semantics

Ítems similars

Semantics
per: Palmer, F.R
Publicat: (1981)

Semantics
per: Palmer F R
Publicat: (1996)

Semantics
per: Kate Kearns
Publicat: (2000)

Semantics : a coursebook
per: James R Hurford
Publicat: (2009)

Semantic theory
per: Katz, Jerrold J.
Publicat: (1972)

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

Semantics : a coursebook /
per: Hurford, James R.
Publicat: (1983)

Semantics /
per: Leech, Geoffrey N.
Publicat: (1974)

Semantics /
per: Leech, Geoffrey N.
Publicat: (1974)

Semantics
per: Leech, Geoffrey N.
Publicat: (1974)

Semantics /
per: Lyons, John
Publicat: (1977)

Semantics
per: Kearns, Kate
Publicat: (2011)

Semantics
per: Leech, Geoffrey N.
Publicat: (1974)

Semantics
per: Kearns, Kate
Publicat: (2000)

Semantics
per: Palmer, F. R.
Publicat: (1981)

Semantics
per: Palmer, F. R.
Publicat: (1981)

Semantics: A Course Book
per: Hurford, James R.
Publicat: (2007)

Semantics with applications : an appetizer /
per: Nielson, Hanne Riis
Publicat: (2011)

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

Semantic Theory
per: Kempson, Ruth M.
Publicat: (1996)

Semantic Universal and Universal Semantics
per: Aeffererr, D.Z
Publicat: (1991)

Complementary definitions of programming language semantics /
per: Donahue, James Edward
Publicat: (1976)

Semantics : coursebook /
per: Hurford, James R.
Publicat: (2009)

Semantics : a new outline /
per: Palmer, F. R.
Publicat: (1976)

Semantics : a new outline /
per: Palmer, F. R.
Publicat: (1976)

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

Understanding semantics /
per: Lobner, Sebastian
Publicat: (2013)

Lexical semantics /
per: Cruse, D. A.
Publicat: (1986)

Introducing semantics
per: Riemer, Nick; Author
Publicat: (2010)

Understanding Semantics
per: Lobner, Sebastian
Publicat: (2002)

Semantics A coursebook /
per: Hurford, James Retc
Publicat: (2007)

Introducing English semantics /
per: Kreidler, Charles W.
Publicat: (2016)

Introducing english semantics
per: Kreidler, Charles W
Publicat: (1998)

Natural Language Semantics
per: Allan, Keith
Publicat: (2001)

Linguistic semantics : an introduction /
per: Lyons, John
Publicat: (1995)

Linguistic semantics : an introduction /
per: Lyons, John
Publicat: (1995)

Formal Semantics: An Introduction
per: Cann, Ronnie
Publicat: (1993)

Linguistic Semantics: An Introduction
per: Lyons, John
Publicat: (1995)

Semantics: a reader
Publicat: (2004)

Semantics A coursebook /
per: Hurford, James R. Ete
Publicat: (1983)