Mathematical aspects of logic programming semantics /
Αποθηκεύτηκε σε:
Κύριοι συγγραφείς: | Hitzler, Pascal (Συγγραφέας), Seda, Anthony (Συγγραφέας) |
---|---|
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | Αγγλικά |
Έκδοση: |
Boca Raton, FL :
CRC Press,
[2011]
|
Σειρά: | Chapman & Hall/CRC studies in informatics series.
|
Θέματα: | |
Διαθέσιμο Online: | Click to View |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Programming logic and design : introductory.
από: Farrell, Joyce
Έκδοση: (2006)
από: Farrell, Joyce
Έκδοση: (2006)
A guide to programming logic and design /
από: Farrell, Joyce
Έκδοση: (1999)
από: Farrell, Joyce
Έκδοση: (1999)
Programming logic and design comprehensive /
από: Farell, Joyce
Έκδοση: (2007)
από: Farell, Joyce
Έκδοση: (2007)
Programming language landscape : syntax, semantics, and implementation /
από: Marcotty, Michael, 1931-
Έκδοση: (1986)
από: Marcotty, Michael, 1931-
Έκδοση: (1986)
Arithmetic and logic in computer systems
από: Lu, Mi
Έκδοση: (2004)
από: Lu, Mi
Έκδοση: (2004)
Programming systems and languages.
από: Rosen, Saul
Έκδοση: (1967)
από: Rosen, Saul
Έκδοση: (1967)
Programming languages : an interpreter-based approach /
από: Kamin, Samuel N.
Έκδοση: (1990)
από: Kamin, Samuel N.
Έκδοση: (1990)
Intermediate business programming with C++
από: Voils, Don
Έκδοση: (2007)
από: Voils, Don
Έκδοση: (2007)
Beginning c# game programming
από: Penton, Ron
Έκδοση: (2005)
από: Penton, Ron
Έκδοση: (2005)
Programming languages : paradigm and practice /
από: Appleby, Doris
Έκδοση: (1991)
από: Appleby, Doris
Έκδοση: (1991)
Programming languages : principles and paradigms /
από: Tucker, Allen
Έκδοση: (2002)
από: Tucker, Allen
Έκδοση: (2002)
Advanced business programming with C++ 2005
από: Voils, Don
Έκδοση: (2007)
από: Voils, Don
Έκδοση: (2007)
Concepts of programming languages /
από: Sebesta, Robert W.
Έκδοση: (1993)
από: Sebesta, Robert W.
Έκδοση: (1993)
Concepts of programming languages /
από: Sebesta, Robert W.
Έκδοση: (2004)
από: Sebesta, Robert W.
Έκδοση: (2004)
Types and programming languages
από: Pierce, Benjamin C.
Έκδοση: (2002)
από: Pierce, Benjamin C.
Έκδοση: (2002)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
από: Wheeler, Bert
Έκδοση: (2011)
από: Wheeler, Bert
Έκδοση: (2011)
Cognitive modeling and verbal semantics a representational framework based on UML /
από: Schalley, Andrea C., 1972-
Έκδοση: (2004)
από: Schalley, Andrea C., 1972-
Έκδοση: (2004)
Principles of programming languages : design, evaluation, and implementation /
από: MacLennan, Bruce J.
Έκδοση: (1999)
από: MacLennan, Bruce J.
Έκδοση: (1999)
Design concepts in programming languages
από: Turbak, Franklyn Albin
Έκδοση: (2008)
από: Turbak, Franklyn Albin
Έκδοση: (2008)
Practical foundations for programming languages
από: Harper, Robert
Έκδοση: (2013)
από: Harper, Robert
Έκδοση: (2013)
Using logic pro X's updated score editor /
από: Asher, Jay
Έκδοση: (2015)
από: Asher, Jay
Έκδοση: (2015)
TouchDevelop: Programming on the Go
από: Horspool, R. Nigel, κ.ά.
Έκδοση: (2013)
από: Horspool, R. Nigel, κ.ά.
Έκδοση: (2013)
Programming with Microsoft Visual Basic 6.0 /
από: Zak, Diane
Έκδοση: (2001)
από: Zak, Diane
Έκδοση: (2001)
Classical mathematical logic the semantic foundations of logic /
από: Epstein, Richard L.
Έκδοση: (2011)
από: Epstein, Richard L.
Έκδοση: (2011)
Programming language pragmatics (a companied by CD /
από: Scott, Michael L.
Έκδοση: (2006)
από: Scott, Michael L.
Έκδοση: (2006)
Programming language pragmatics (a companied by CD /
από: Scott, Michael L.
Έκδοση: (2000)
από: Scott, Michael L.
Έκδοση: (2000)
Programming language pragmatics
από: Scott, Michael Lee, 1959-
Έκδοση: (2006)
από: Scott, Michael Lee, 1959-
Έκδοση: (2006)
CoffeeScript programming with jQuery, Rails, and Node.js
από: Erasmus, Michael
Έκδοση: (2012)
από: Erasmus, Michael
Έκδοση: (2012)
Programming the web : an introduction /
από: Sosinsky, Barrie
Έκδοση: (2004)
από: Sosinsky, Barrie
Έκδοση: (2004)
Logics and languages for reliability and security
Έκδοση: (2010)
Έκδοση: (2010)
Logic and language
από: Dean, Neville
Έκδοση: (2003)
από: Dean, Neville
Έκδοση: (2003)
Semantic matchmaking with nonmonotonic description logics /
από: Grimm, Stephen
Έκδοση: (2009)
από: Grimm, Stephen
Έκδοση: (2009)
Programming distributed computing systems a foundational approach /
από: Varela, Carlos A.
Έκδοση: (2013)
από: Varela, Carlos A.
Έκδοση: (2013)
The logic of language
από: Seuren, Pieter A. M.
Έκδοση: (2010)
από: 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)
από: Idris, Ivan
Έκδοση: (2013)
Software engineering (a lifecycle approach) /
από: Mohapatra, Pratap K. J.
Έκδοση: (2010)
από: 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)
από: Saxena, Shiti
Έκδοση: (2013)
Foundations of fuzzy logic and semantic web languages /
από: Straccia, Umberto
Έκδοση: (2013)
από: Straccia, Umberto
Έκδοση: (2013)
Essentials of cobol programming /
από: McGarth, Roger R.
Έκδοση: (1981)
από: McGarth, Roger R.
Έκδοση: (1981)
Evolving knowledge bases specification and semantics /
από: Leite, João Alexandre
Έκδοση: (2003)
από: Leite, João Alexandre
Έκδοση: (2003)
Παρόμοια τεκμήρια
-
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)