Mathematical aspects of logic programming semantics /
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Boca Raton, FL :
CRC Press,
[2011]
|
| Col·lecció: | Chapman & Hall/CRC studies in informatics series.
|
| Matèries: | |
| Accés en línia: | Click to View |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Programming logic and design : introductory.
per: Farrell, Joyce
Publicat: (2006)
per: Farrell, Joyce
Publicat: (2006)
A guide to programming logic and design /
per: Farrell, Joyce
Publicat: (1999)
per: Farrell, Joyce
Publicat: (1999)
Programming logic and design comprehensive /
per: Farell, Joyce
Publicat: (2007)
per: Farell, Joyce
Publicat: (2007)
Programming language landscape : syntax, semantics, and implementation /
per: Marcotty, Michael, 1931-
Publicat: (1986)
per: Marcotty, Michael, 1931-
Publicat: (1986)
Arithmetic and logic in computer systems
per: Lu, Mi
Publicat: (2004)
per: Lu, Mi
Publicat: (2004)
Programming systems and languages.
per: Rosen, Saul
Publicat: (1967)
per: Rosen, Saul
Publicat: (1967)
Programming languages : an interpreter-based approach /
per: Kamin, Samuel N.
Publicat: (1990)
per: Kamin, Samuel N.
Publicat: (1990)
Beginning c# game programming
per: Penton, Ron
Publicat: (2005)
per: Penton, Ron
Publicat: (2005)
Intermediate business programming with C++
per: Voils, Don
Publicat: (2007)
per: Voils, Don
Publicat: (2007)
Programming languages : paradigm and practice /
per: Appleby, Doris
Publicat: (1991)
per: Appleby, Doris
Publicat: (1991)
Programming languages : principles and paradigms /
per: Tucker, Allen
Publicat: (2002)
per: Tucker, Allen
Publicat: (2002)
Advanced business programming with C++ 2005
per: Voils, Don
Publicat: (2007)
per: Voils, Don
Publicat: (2007)
Concepts of programming languages /
per: Sebesta, Robert W.
Publicat: (1993)
per: Sebesta, Robert W.
Publicat: (1993)
Concepts of programming languages /
per: Sebesta, Robert W.
Publicat: (2004)
per: Sebesta, Robert W.
Publicat: (2004)
Types and programming languages
per: Pierce, Benjamin C.
Publicat: (2002)
per: Pierce, Benjamin C.
Publicat: (2002)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
per: Wheeler, Bert
Publicat: (2011)
per: Wheeler, Bert
Publicat: (2011)
Principles of programming languages : design, evaluation, and implementation /
per: MacLennan, Bruce J.
Publicat: (1999)
per: MacLennan, Bruce J.
Publicat: (1999)
Design concepts in programming languages
per: Turbak, Franklyn Albin
Publicat: (2008)
per: Turbak, Franklyn Albin
Publicat: (2008)
Practical foundations for programming languages
per: Harper, Robert
Publicat: (2013)
per: Harper, Robert
Publicat: (2013)
Cognitive modeling and verbal semantics a representational framework based on UML /
per: Schalley, Andrea C., 1972-
Publicat: (2004)
per: Schalley, Andrea C., 1972-
Publicat: (2004)
Using logic pro X's updated score editor /
per: Asher, Jay
Publicat: (2015)
per: Asher, Jay
Publicat: (2015)
TouchDevelop: Programming on the Go
per: Horspool, R. Nigel, et al.
Publicat: (2013)
per: Horspool, R. Nigel, et al.
Publicat: (2013)
Classical mathematical logic the semantic foundations of logic /
per: Epstein, Richard L.
Publicat: (2011)
per: Epstein, Richard L.
Publicat: (2011)
Programming with Microsoft Visual Basic 6.0 /
per: Zak, Diane
Publicat: (2001)
per: Zak, Diane
Publicat: (2001)
Programming language pragmatics (a companied by CD /
per: Scott, Michael L.
Publicat: (2000)
per: Scott, Michael L.
Publicat: (2000)
Programming language pragmatics (a companied by CD /
per: Scott, Michael L.
Publicat: (2006)
per: Scott, Michael L.
Publicat: (2006)
Programming language pragmatics
per: Scott, Michael Lee, 1959-
Publicat: (2006)
per: Scott, Michael Lee, 1959-
Publicat: (2006)
CoffeeScript programming with jQuery, Rails, and Node.js
per: Erasmus, Michael
Publicat: (2012)
per: Erasmus, Michael
Publicat: (2012)
Programming the web : an introduction /
per: Sosinsky, Barrie
Publicat: (2004)
per: Sosinsky, Barrie
Publicat: (2004)
Logic and language
per: Dean, Neville
Publicat: (2003)
per: Dean, Neville
Publicat: (2003)
Logics and languages for reliability and security
Publicat: (2010)
Publicat: (2010)
Semantic matchmaking with nonmonotonic description logics /
per: Grimm, Stephen
Publicat: (2009)
per: Grimm, Stephen
Publicat: (2009)
Programming distributed computing systems a foundational approach /
per: Varela, Carlos A.
Publicat: (2013)
per: Varela, Carlos A.
Publicat: (2013)
The logic of language
per: Seuren, Pieter A. M.
Publicat: (2010)
per: Seuren, Pieter A. M.
Publicat: (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 /
per: Idris, Ivan
Publicat: (2013)
per: Idris, Ivan
Publicat: (2013)
Software engineering (a lifecycle approach) /
per: Mohapatra, Pratap K. J.
Publicat: (2010)
per: Mohapatra, Pratap K. J.
Publicat: (2010)
Foundations of fuzzy logic and semantic web languages /
per: Straccia, Umberto
Publicat: (2013)
per: Straccia, Umberto
Publicat: (2013)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
per: Saxena, Shiti
Publicat: (2013)
per: Saxena, Shiti
Publicat: (2013)
Essentials of cobol programming /
per: McGarth, Roger R.
Publicat: (1981)
per: McGarth, Roger R.
Publicat: (1981)
Evolving knowledge bases specification and semantics /
per: Leite, João Alexandre
Publicat: (2003)
per: Leite, João Alexandre
Publicat: (2003)