载入...

QR Code

Logic programming: operational semantics and proof theory

书目详细资料
主要作者:	Andrews, James H
格式:	Printed Book
语言:	English
出版:	Camgridge Cambridge University press 1992
主题:	Programming language and semantics

相似书籍

Semantics
由: Palmer, F.R
出版: (1981)

Semantics
由: Palmer F R
出版: (1996)

Semantics
由: Kate Kearns
出版: (2000)

Semantics : a coursebook
由: James R Hurford
出版: (2009)

Semantic theory
由: Katz, Jerrold J.
出版: (1972)

Computational Semantics with Functional Programming
由: Eijck, Jan Van and Unger, Christina
出版: (2010)

Semantics : a coursebook /
由: Hurford, James R.
出版: (1983)

Semantics /
由: Leech, Geoffrey N.
出版: (1974)

Semantics /
由: Leech, Geoffrey N.
出版: (1974)

Semantics
由: Leech, Geoffrey N.
出版: (1974)

Semantics /
由: Lyons, John
出版: (1977)

Semantics
由: Kearns, Kate
出版: (2011)

Semantics
由: Leech, Geoffrey N.
出版: (1974)

Semantics
由: Kearns, Kate
出版: (2000)

Semantics
由: Palmer, F. R.
出版: (1981)

Semantics
由: Palmer, F. R.
出版: (1981)

Semantics: A Course Book
由: Hurford, James R.
出版: (2007)

Semantics with applications : an appetizer /
由: Nielson, Hanne Riis
出版: (2011)

Computational semantics with functional programming
由: Eijck, Jan van; Author, et al.
出版: (2010)

Semantic Theory
由: Kempson, Ruth M.
出版: (1996)

Semantic Universal and Universal Semantics
由: Aeffererr, D.Z
出版: (1991)

Complementary definitions of programming language semantics /
由: Donahue, James Edward
出版: (1976)

Semantics : coursebook /
由: Hurford, James R.
出版: (2009)

Semantics : a new outline /
由: Palmer, F. R.
出版: (1976)

Semantics : a new outline /
由: Palmer, F. R.
出版: (1976)

Studies in the semantic structure of Hindi /
由: Bal, Kali Charan
出版: (1979)

Understanding semantics /
由: Lobner, Sebastian
出版: (2013)

Lexical semantics /
由: Cruse, D. A.
出版: (1986)

Introducing semantics
由: Riemer, Nick; Author
出版: (2010)

Understanding Semantics
由: Lobner, Sebastian
出版: (2002)

Semantics A coursebook /
由: Hurford, James Retc
出版: (2007)

Introducing English semantics /
由: Kreidler, Charles W.
出版: (2016)

Introducing english semantics
由: Kreidler, Charles W
出版: (1998)

Natural Language Semantics
由: Allan, Keith
出版: (2001)

Linguistic semantics : an introduction /
由: Lyons, John
出版: (1995)

Linguistic semantics : an introduction /
由: Lyons, John
出版: (1995)

Formal Semantics: An Introduction
由: Cann, Ronnie
出版: (1993)

Linguistic Semantics: An Introduction
由: Lyons, John
出版: (1995)

Semantics: a reader
出版: (2004)

Semantics A coursebook /
由: Hurford, James R. Ete
出版: (1983)