Mathematical aspects of logic programming semantics /
Сохранить в:
| Главные авторы: | , |
|---|---|
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Boca Raton, FL :
CRC Press,
[2011]
|
| Серии: | Chapman & Hall/CRC studies in informatics series.
|
| Предметы: | |
| Online-ссылка: | Click to View |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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)
Beginning c# game programming
по: Penton, Ron
Опубликовано: (2005)
по: Penton, Ron
Опубликовано: (2005)
Intermediate business programming with C++
по: Voils, Don
Опубликовано: (2007)
по: Voils, Don
Опубликовано: (2007)
Programming languages : principles and paradigms /
по: Tucker, Allen
Опубликовано: (2002)
по: Tucker, Allen
Опубликовано: (2002)
Programming languages : paradigm and practice /
по: Appleby, Doris
Опубликовано: (1991)
по: Appleby, Doris
Опубликовано: (1991)
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)
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)
Cognitive modeling and verbal semantics a representational framework based on UML /
по: Schalley, Andrea C., 1972-
Опубликовано: (2004)
по: Schalley, Andrea C., 1972-
Опубликовано: (2004)
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)
Classical mathematical logic the semantic foundations of logic /
по: Epstein, Richard L.
Опубликовано: (2011)
по: Epstein, Richard L.
Опубликовано: (2011)
Programming with Microsoft Visual Basic 6.0 /
по: Zak, Diane
Опубликовано: (2001)
по: Zak, Diane
Опубликовано: (2001)
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)
Foundations of fuzzy logic and semantic web languages /
по: Straccia, Umberto
Опубликовано: (2013)
по: Straccia, Umberto
Опубликовано: (2013)
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)
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)