Mathematical aspects of logic programming semantics /
Saved in:
Main Authors: | Hitzler, Pascal (Author), Seda, Anthony (Author) |
---|---|
Format: | Electronisk eBog |
Sprog: | engelsk |
Udgivet: |
Boca Raton, FL :
CRC Press,
[2011]
|
Serier: | Chapman & Hall/CRC studies in informatics series.
|
Fag: | |
Online adgang: | Click to View |
Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Programming logic and design : introductory.
af: Farrell, Joyce
Udgivet: (2006)
af: Farrell, Joyce
Udgivet: (2006)
A guide to programming logic and design /
af: Farrell, Joyce
Udgivet: (1999)
af: Farrell, Joyce
Udgivet: (1999)
Programming logic and design comprehensive /
af: Farell, Joyce
Udgivet: (2007)
af: Farell, Joyce
Udgivet: (2007)
Programming language landscape : syntax, semantics, and implementation /
af: Marcotty, Michael, 1931-
Udgivet: (1986)
af: Marcotty, Michael, 1931-
Udgivet: (1986)
Arithmetic and logic in computer systems
af: Lu, Mi
Udgivet: (2004)
af: Lu, Mi
Udgivet: (2004)
Programming systems and languages.
af: Rosen, Saul
Udgivet: (1967)
af: Rosen, Saul
Udgivet: (1967)
Programming languages : an interpreter-based approach /
af: Kamin, Samuel N.
Udgivet: (1990)
af: Kamin, Samuel N.
Udgivet: (1990)
Intermediate business programming with C++
af: Voils, Don
Udgivet: (2007)
af: Voils, Don
Udgivet: (2007)
Beginning c# game programming
af: Penton, Ron
Udgivet: (2005)
af: Penton, Ron
Udgivet: (2005)
Programming languages : paradigm and practice /
af: Appleby, Doris
Udgivet: (1991)
af: Appleby, Doris
Udgivet: (1991)
Programming languages : principles and paradigms /
af: Tucker, Allen
Udgivet: (2002)
af: Tucker, Allen
Udgivet: (2002)
Advanced business programming with C++ 2005
af: Voils, Don
Udgivet: (2007)
af: Voils, Don
Udgivet: (2007)
Concepts of programming languages /
af: Sebesta, Robert W.
Udgivet: (1993)
af: Sebesta, Robert W.
Udgivet: (1993)
Concepts of programming languages /
af: Sebesta, Robert W.
Udgivet: (2004)
af: Sebesta, Robert W.
Udgivet: (2004)
Types and programming languages
af: Pierce, Benjamin C.
Udgivet: (2002)
af: Pierce, Benjamin C.
Udgivet: (2002)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
af: Wheeler, Bert
Udgivet: (2011)
af: Wheeler, Bert
Udgivet: (2011)
Cognitive modeling and verbal semantics a representational framework based on UML /
af: Schalley, Andrea C., 1972-
Udgivet: (2004)
af: Schalley, Andrea C., 1972-
Udgivet: (2004)
Principles of programming languages : design, evaluation, and implementation /
af: MacLennan, Bruce J.
Udgivet: (1999)
af: MacLennan, Bruce J.
Udgivet: (1999)
Design concepts in programming languages
af: Turbak, Franklyn Albin
Udgivet: (2008)
af: Turbak, Franklyn Albin
Udgivet: (2008)
Practical foundations for programming languages
af: Harper, Robert
Udgivet: (2013)
af: Harper, Robert
Udgivet: (2013)
Using logic pro X's updated score editor /
af: Asher, Jay
Udgivet: (2015)
af: Asher, Jay
Udgivet: (2015)
TouchDevelop: Programming on the Go
af: Horspool, R. Nigel, et al.
Udgivet: (2013)
af: Horspool, R. Nigel, et al.
Udgivet: (2013)
Programming with Microsoft Visual Basic 6.0 /
af: Zak, Diane
Udgivet: (2001)
af: Zak, Diane
Udgivet: (2001)
Classical mathematical logic the semantic foundations of logic /
af: Epstein, Richard L.
Udgivet: (2011)
af: Epstein, Richard L.
Udgivet: (2011)
Programming language pragmatics (a companied by CD /
af: Scott, Michael L.
Udgivet: (2006)
af: Scott, Michael L.
Udgivet: (2006)
Programming language pragmatics (a companied by CD /
af: Scott, Michael L.
Udgivet: (2000)
af: Scott, Michael L.
Udgivet: (2000)
Programming language pragmatics
af: Scott, Michael Lee, 1959-
Udgivet: (2006)
af: Scott, Michael Lee, 1959-
Udgivet: (2006)
CoffeeScript programming with jQuery, Rails, and Node.js
af: Erasmus, Michael
Udgivet: (2012)
af: Erasmus, Michael
Udgivet: (2012)
Programming the web : an introduction /
af: Sosinsky, Barrie
Udgivet: (2004)
af: Sosinsky, Barrie
Udgivet: (2004)
Logics and languages for reliability and security
Udgivet: (2010)
Udgivet: (2010)
Logic and language
af: Dean, Neville
Udgivet: (2003)
af: Dean, Neville
Udgivet: (2003)
Semantic matchmaking with nonmonotonic description logics /
af: Grimm, Stephen
Udgivet: (2009)
af: Grimm, Stephen
Udgivet: (2009)
Programming distributed computing systems a foundational approach /
af: Varela, Carlos A.
Udgivet: (2013)
af: Varela, Carlos A.
Udgivet: (2013)
The logic of language
af: Seuren, Pieter A. M.
Udgivet: (2010)
af: Seuren, Pieter A. M.
Udgivet: (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 /
af: Idris, Ivan
Udgivet: (2013)
af: Idris, Ivan
Udgivet: (2013)
Software engineering (a lifecycle approach) /
af: Mohapatra, Pratap K. J.
Udgivet: (2010)
af: Mohapatra, Pratap K. J.
Udgivet: (2010)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
af: Saxena, Shiti
Udgivet: (2013)
af: Saxena, Shiti
Udgivet: (2013)
Foundations of fuzzy logic and semantic web languages /
af: Straccia, Umberto
Udgivet: (2013)
af: Straccia, Umberto
Udgivet: (2013)
Essentials of cobol programming /
af: McGarth, Roger R.
Udgivet: (1981)
af: McGarth, Roger R.
Udgivet: (1981)
Evolving knowledge bases specification and semantics /
af: Leite, João Alexandre
Udgivet: (2003)
af: Leite, João Alexandre
Udgivet: (2003)
Lignende værker
-
Programming logic and design : introductory.
af: Farrell, Joyce
Udgivet: (2006) -
A guide to programming logic and design /
af: Farrell, Joyce
Udgivet: (1999) -
Programming logic and design comprehensive /
af: Farell, Joyce
Udgivet: (2007) -
Programming language landscape : syntax, semantics, and implementation /
af: Marcotty, Michael, 1931-
Udgivet: (1986) -
Arithmetic and logic in computer systems
af: Lu, Mi
Udgivet: (2004)