Đang tải...

Mã QR

Logic programming: operational semantics and proof theory

Chi tiết về thư mục
Tác giả chính:	Andrews, James H
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Camgridge Cambridge University press 1992
Những chủ đề:	Programming language and semantics

Những quyển sách tương tự

Semantics
Bằng: Palmer, F.R
Được phát hành: (1981)

Semantics
Bằng: Palmer F R
Được phát hành: (1996)

Semantics
Bằng: Kate Kearns
Được phát hành: (2000)

Semantics : a coursebook
Bằng: James R Hurford
Được phát hành: (2009)

Semantic theory
Bằng: Katz, Jerrold J.
Được phát hành: (1972)

Computational Semantics with Functional Programming
Bằng: Eijck, Jan Van and Unger, Christina
Được phát hành: (2010)

Semantics : a coursebook /
Bằng: Hurford, James R.
Được phát hành: (1983)

Semantics /
Bằng: Leech, Geoffrey N.
Được phát hành: (1974)

Semantics /
Bằng: Leech, Geoffrey N.
Được phát hành: (1974)

Semantics
Bằng: Leech, Geoffrey N.
Được phát hành: (1974)

Semantics /
Bằng: Lyons, John
Được phát hành: (1977)

Semantics
Bằng: Kearns, Kate
Được phát hành: (2011)

Semantics
Bằng: Leech, Geoffrey N.
Được phát hành: (1974)

Semantics
Bằng: Kearns, Kate
Được phát hành: (2000)

Semantics
Bằng: Palmer, F. R.
Được phát hành: (1981)

Semantics
Bằng: Palmer, F. R.
Được phát hành: (1981)

Semantics: A Course Book
Bằng: Hurford, James R.
Được phát hành: (2007)

Semantics with applications : an appetizer /
Bằng: Nielson, Hanne Riis
Được phát hành: (2011)

Computational semantics with functional programming
Bằng: Eijck, Jan van; Author, et al.
Được phát hành: (2010)

Semantic Theory
Bằng: Kempson, Ruth M.
Được phát hành: (1996)

Semantic Universal and Universal Semantics
Bằng: Aeffererr, D.Z
Được phát hành: (1991)

Complementary definitions of programming language semantics /
Bằng: Donahue, James Edward
Được phát hành: (1976)

Semantics : coursebook /
Bằng: Hurford, James R.
Được phát hành: (2009)

Semantics : a new outline /
Bằng: Palmer, F. R.
Được phát hành: (1976)

Semantics : a new outline /
Bằng: Palmer, F. R.
Được phát hành: (1976)

Studies in the semantic structure of Hindi /
Bằng: Bal, Kali Charan
Được phát hành: (1979)

Understanding semantics /
Bằng: Lobner, Sebastian
Được phát hành: (2013)

Lexical semantics /
Bằng: Cruse, D. A.
Được phát hành: (1986)

Introducing semantics
Bằng: Riemer, Nick; Author
Được phát hành: (2010)

Understanding Semantics
Bằng: Lobner, Sebastian
Được phát hành: (2002)

Semantics A coursebook /
Bằng: Hurford, James Retc
Được phát hành: (2007)

Introducing English semantics /
Bằng: Kreidler, Charles W.
Được phát hành: (2016)

Introducing english semantics
Bằng: Kreidler, Charles W
Được phát hành: (1998)

Natural Language Semantics
Bằng: Allan, Keith
Được phát hành: (2001)

Linguistic semantics : an introduction /
Bằng: Lyons, John
Được phát hành: (1995)

Linguistic semantics : an introduction /
Bằng: Lyons, John
Được phát hành: (1995)

Formal Semantics: An Introduction
Bằng: Cann, Ronnie
Được phát hành: (1993)

Linguistic Semantics: An Introduction
Bằng: Lyons, John
Được phát hành: (1995)

Semantics: a reader
Được phát hành: (2004)

Semantics A coursebook /
Bằng: Hurford, James R. Ete
Được phát hành: (1983)