Ảnh bìa

Mã QR

Mathematical aspects of logic programming semantics /

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Hitzler, Pascal (Tác giả), Seda, Anthony (Tác giả)
Định dạng:	Điện tử eBook
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Boca Raton, FL : CRC Press, [2011]
Loạt:	Chapman & Hall/CRC studies in informatics series.
Những chủ đề:	Logic programming. Programming languages (Electronic computers) > Semantics. Electronic books.
Truy cập trực tuyến:	Click to View
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Programming logic and design : introductory.
Bằng: Farrell, Joyce
Được phát hành: (2006)

A guide to programming logic and design /
Bằng: Farrell, Joyce
Được phát hành: (1999)

Programming logic and design comprehensive /
Bằng: Farell, Joyce
Được phát hành: (2007)

Programming language landscape : syntax, semantics, and implementation /
Bằng: Marcotty, Michael, 1931-
Được phát hành: (1986)

Arithmetic and logic in computer systems
Bằng: Lu, Mi
Được phát hành: (2004)

Programming systems and languages.
Bằng: Rosen, Saul
Được phát hành: (1967)

Programming languages : an interpreter-based approach /
Bằng: Kamin, Samuel N.
Được phát hành: (1990)

Intermediate business programming with C++
Bằng: Voils, Don
Được phát hành: (2007)

Beginning c# game programming
Bằng: Penton, Ron
Được phát hành: (2005)

Programming languages : paradigm and practice /
Bằng: Appleby, Doris
Được phát hành: (1991)

Programming languages : principles and paradigms /
Bằng: Tucker, Allen
Được phát hành: (2002)

Advanced business programming with C++ 2005
Bằng: Voils, Don
Được phát hành: (2007)

Concepts of programming languages /
Bằng: Sebesta, Robert W.
Được phát hành: (1993)

Concepts of programming languages /
Bằng: Sebesta, Robert W.
Được phát hành: (2004)

Types and programming languages
Bằng: Pierce, Benjamin C.
Được phát hành: (2002)

Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
Bằng: Wheeler, Bert
Được phát hành: (2011)

Cognitive modeling and verbal semantics a representational framework based on UML /
Bằng: Schalley, Andrea C., 1972-
Được phát hành: (2004)

Principles of programming languages : design, evaluation, and implementation /
Bằng: MacLennan, Bruce J.
Được phát hành: (1999)

Design concepts in programming languages
Bằng: Turbak, Franklyn Albin
Được phát hành: (2008)

Practical foundations for programming languages
Bằng: Harper, Robert
Được phát hành: (2013)

Using logic pro X's updated score editor /
Bằng: Asher, Jay
Được phát hành: (2015)

TouchDevelop: Programming on the Go
Bằng: Horspool, R. Nigel, et al.
Được phát hành: (2013)

Programming with Microsoft Visual Basic 6.0 /
Bằng: Zak, Diane
Được phát hành: (2001)

Classical mathematical logic the semantic foundations of logic /
Bằng: Epstein, Richard L.
Được phát hành: (2011)

Programming language pragmatics (a companied by CD /
Bằng: Scott, Michael L.
Được phát hành: (2006)

Programming language pragmatics (a companied by CD /
Bằng: Scott, Michael L.
Được phát hành: (2000)

Programming language pragmatics
Bằng: Scott, Michael Lee, 1959-
Được phát hành: (2006)

CoffeeScript programming with jQuery, Rails, and Node.js
Bằng: Erasmus, Michael
Được phát hành: (2012)

Programming the web : an introduction /
Bằng: Sosinsky, Barrie
Được phát hành: (2004)

Logics and languages for reliability and security
Được phát hành: (2010)

Logic and language
Bằng: Dean, Neville
Được phát hành: (2003)

Semantic matchmaking with nonmonotonic description logics /
Bằng: Grimm, Stephen
Được phát hành: (2009)

Programming distributed computing systems a foundational approach /
Bằng: Varela, Carlos A.
Được phát hành: (2013)

The logic of language
Bằng: Seuren, Pieter A. M.
Được phát hành: (2010)

NumPy beginner's guide an action-packed guide for the easy-to-use, high performance, Python based free open source NumPy mathematical library using real-world examples /
Bằng: Idris, Ivan
Được phát hành: (2013)

Software engineering (a lifecycle approach) /
Bằng: Mohapatra, Pratap K. J.
Được phát hành: (2010)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
Bằng: Saxena, Shiti
Được phát hành: (2013)

Foundations of fuzzy logic and semantic web languages /
Bằng: Straccia, Umberto
Được phát hành: (2013)

Essentials of cobol programming /
Bằng: McGarth, Roger R.
Được phát hành: (1981)

Evolving knowledge bases specification and semantics /
Bằng: Leite, João Alexandre
Được phát hành: (2003)