封面圖片

QR Code

Mathematical aspects of logic programming semantics /

Saved in:

書目詳細資料
Main Authors:	Hitzler, Pascal (Author), Seda, Anthony (Author)
格式:	電子電子書
語言:	英语
出版:	Boca Raton, FL : CRC Press, [2011]
叢編:	Chapman & Hall/CRC studies in informatics series.
主題:	Logic programming. Programming languages (Electronic computers) > Semantics. Electronic books.
在線閱讀:	Click to View
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Programming logic and design : introductory.
由: Farrell, Joyce
出版: (2006)

A guide to programming logic and design /
由: Farrell, Joyce
出版: (1999)

Programming logic and design comprehensive /
由: Farell, Joyce
出版: (2007)

Programming language landscape : syntax, semantics, and implementation /
由: Marcotty, Michael, 1931-
出版: (1986)

Arithmetic and logic in computer systems
由: Lu, Mi
出版: (2004)

Programming systems and languages.
由: Rosen, Saul
出版: (1967)

Programming languages : an interpreter-based approach /
由: Kamin, Samuel N.
出版: (1990)

Intermediate business programming with C++
由: Voils, Don
出版: (2007)

Beginning c# game programming
由: Penton, Ron
出版: (2005)

Programming languages : paradigm and practice /
由: Appleby, Doris
出版: (1991)

Programming languages : principles and paradigms /
由: Tucker, Allen
出版: (2002)

Advanced business programming with C++ 2005
由: Voils, Don
出版: (2007)

Concepts of programming languages /
由: Sebesta, Robert W.
出版: (1993)

Concepts of programming languages /
由: Sebesta, Robert W.
出版: (2004)

Types and programming languages
由: Pierce, Benjamin C.
出版: (2002)

Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
由: Wheeler, Bert
出版: (2011)

Cognitive modeling and verbal semantics a representational framework based on UML /
由: Schalley, Andrea C., 1972-
出版: (2004)

Principles of programming languages : design, evaluation, and implementation /
由: MacLennan, Bruce J.
出版: (1999)

Design concepts in programming languages
由: Turbak, Franklyn Albin
出版: (2008)

Practical foundations for programming languages
由: Harper, Robert
出版: (2013)

Using logic pro X's updated score editor /
由: Asher, Jay
出版: (2015)

TouchDevelop: Programming on the Go
由: Horspool, R. Nigel, et al.
出版: (2013)

Programming with Microsoft Visual Basic 6.0 /
由: Zak, Diane
出版: (2001)

Classical mathematical logic the semantic foundations of logic /
由: Epstein, Richard L.
出版: (2011)

Programming language pragmatics (a companied by CD /
由: Scott, Michael L.
出版: (2006)

Programming language pragmatics (a companied by CD /
由: Scott, Michael L.
出版: (2000)

Programming language pragmatics
由: Scott, Michael Lee, 1959-
出版: (2006)

CoffeeScript programming with jQuery, Rails, and Node.js
由: Erasmus, Michael
出版: (2012)

Programming the web : an introduction /
由: Sosinsky, Barrie
出版: (2004)

Logics and languages for reliability and security
出版: (2010)

Logic and language
由: Dean, Neville
出版: (2003)

Semantic matchmaking with nonmonotonic description logics /
由: Grimm, Stephen
出版: (2009)

Programming distributed computing systems a foundational approach /
由: Varela, Carlos A.
出版: (2013)

The logic of language
由: Seuren, Pieter A. M.
出版: (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 /
由: Idris, Ivan
出版: (2013)

Software engineering (a lifecycle approach) /
由: Mohapatra, Pratap K. J.
出版: (2010)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
由: Saxena, Shiti
出版: (2013)

Foundations of fuzzy logic and semantic web languages /
由: Straccia, Umberto
出版: (2013)

Essentials of cobol programming /
由: McGarth, Roger R.
出版: (1981)

Evolving knowledge bases specification and semantics /
由: Leite, João Alexandre
出版: (2003)