Kapak Resmi

QR Kod

Mathematical aspects of logic programming semantics /

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Hitzler, Pascal (Yazar), Seda, Anthony (Yazar)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Boca Raton, FL : CRC Press, [2011]
Seri Bilgileri:	Chapman & Hall/CRC studies in informatics series.
Konular:	Logic programming. Programming languages (Electronic computers) > Semantics. Electronic books.
Online Erişim:	Click to View
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Programming logic and design : introductory.
Yazar:: Farrell, Joyce
Baskı/Yayın Bilgisi: (2006)

A guide to programming logic and design /
Yazar:: Farrell, Joyce
Baskı/Yayın Bilgisi: (1999)

Programming logic and design comprehensive /
Yazar:: Farell, Joyce
Baskı/Yayın Bilgisi: (2007)

Programming language landscape : syntax, semantics, and implementation /
Yazar:: Marcotty, Michael, 1931-
Baskı/Yayın Bilgisi: (1986)

Arithmetic and logic in computer systems
Yazar:: Lu, Mi
Baskı/Yayın Bilgisi: (2004)

Programming systems and languages.
Yazar:: Rosen, Saul
Baskı/Yayın Bilgisi: (1967)

Programming languages : an interpreter-based approach /
Yazar:: Kamin, Samuel N.
Baskı/Yayın Bilgisi: (1990)

Intermediate business programming with C++
Yazar:: Voils, Don
Baskı/Yayın Bilgisi: (2007)

Beginning c# game programming
Yazar:: Penton, Ron
Baskı/Yayın Bilgisi: (2005)

Programming languages : paradigm and practice /
Yazar:: Appleby, Doris
Baskı/Yayın Bilgisi: (1991)

Programming languages : principles and paradigms /
Yazar:: Tucker, Allen
Baskı/Yayın Bilgisi: (2002)

Advanced business programming with C++ 2005
Yazar:: Voils, Don
Baskı/Yayın Bilgisi: (2007)

Concepts of programming languages /
Yazar:: Sebesta, Robert W.
Baskı/Yayın Bilgisi: (1993)

Concepts of programming languages /
Yazar:: Sebesta, Robert W.
Baskı/Yayın Bilgisi: (2004)

Types and programming languages
Yazar:: Pierce, Benjamin C.
Baskı/Yayın Bilgisi: (2002)

Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
Yazar:: Wheeler, Bert
Baskı/Yayın Bilgisi: (2011)

Cognitive modeling and verbal semantics a representational framework based on UML /
Yazar:: Schalley, Andrea C., 1972-
Baskı/Yayın Bilgisi: (2004)

Principles of programming languages : design, evaluation, and implementation /
Yazar:: MacLennan, Bruce J.
Baskı/Yayın Bilgisi: (1999)

Design concepts in programming languages
Yazar:: Turbak, Franklyn Albin
Baskı/Yayın Bilgisi: (2008)

Practical foundations for programming languages
Yazar:: Harper, Robert
Baskı/Yayın Bilgisi: (2013)

Using logic pro X's updated score editor /
Yazar:: Asher, Jay
Baskı/Yayın Bilgisi: (2015)

TouchDevelop: Programming on the Go
Yazar:: Horspool, R. Nigel, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Programming with Microsoft Visual Basic 6.0 /
Yazar:: Zak, Diane
Baskı/Yayın Bilgisi: (2001)

Classical mathematical logic the semantic foundations of logic /
Yazar:: Epstein, Richard L.
Baskı/Yayın Bilgisi: (2011)

Programming language pragmatics (a companied by CD /
Yazar:: Scott, Michael L.
Baskı/Yayın Bilgisi: (2006)

Programming language pragmatics (a companied by CD /
Yazar:: Scott, Michael L.
Baskı/Yayın Bilgisi: (2000)

Programming language pragmatics
Yazar:: Scott, Michael Lee, 1959-
Baskı/Yayın Bilgisi: (2006)

CoffeeScript programming with jQuery, Rails, and Node.js
Yazar:: Erasmus, Michael
Baskı/Yayın Bilgisi: (2012)

Programming the web : an introduction /
Yazar:: Sosinsky, Barrie
Baskı/Yayın Bilgisi: (2004)

Logics and languages for reliability and security
Baskı/Yayın Bilgisi: (2010)

Logic and language
Yazar:: Dean, Neville
Baskı/Yayın Bilgisi: (2003)

Semantic matchmaking with nonmonotonic description logics /
Yazar:: Grimm, Stephen
Baskı/Yayın Bilgisi: (2009)

Programming distributed computing systems a foundational approach /
Yazar:: Varela, Carlos A.
Baskı/Yayın Bilgisi: (2013)

The logic of language
Yazar:: Seuren, Pieter A. M.
Baskı/Yayın Bilgisi: (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 /
Yazar:: Idris, Ivan
Baskı/Yayın Bilgisi: (2013)

Software engineering (a lifecycle approach) /
Yazar:: Mohapatra, Pratap K. J.
Baskı/Yayın Bilgisi: (2010)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
Yazar:: Saxena, Shiti
Baskı/Yayın Bilgisi: (2013)

Foundations of fuzzy logic and semantic web languages /
Yazar:: Straccia, Umberto
Baskı/Yayın Bilgisi: (2013)

Essentials of cobol programming /
Yazar:: McGarth, Roger R.
Baskı/Yayın Bilgisi: (1981)

Evolving knowledge bases specification and semantics /
Yazar:: Leite, João Alexandre
Baskı/Yayın Bilgisi: (2003)