Theory and Practice of Logic Programming

Theory and Practice of Logic Programming

Xehetasun bibliografikoak
Formatua:	Baliabide elektronikoa Aldizkaria
Hizkuntza:	English
Argitaratua:	Cambridge University Press
Gaiak:	Computer Science
Sarrera elektronikoa:	Full text available on Cambridge University Press Off-campus access

Antzeko izenburuak

Programming Logics
Argitaratua: (2013)

The logic of practice /
nork: Bourdieu, Pierre, 1930-2002
Argitaratua: (1990)

Starting Out with Programming Logic and Design: Pearson New International Edition
nork: Gaddis, Tony

Inductive Logic Programming
Argitaratua: (2013)

Logic Programming with Prolog
nork: Bramer
Argitaratua: (2013)

Programming logic and design : comprehensive /
nork: Farrell, Joyce
Argitaratua: (2011)

Theory Into Practice

Logic and discrete mathematics : a computer science perspective /
nork: Grassmann, Winfried K.
Argitaratua: (1996)

Public-Key Cryptography Theory And Practice
nork: Das Abhijit; Madhavan Veni C.E

Switching Theory And Logic Design
nork: Rao C.V.S

Programming with Higher-Order Logic
nork: Dale Miller, Gopalan Nadathur
Argitaratua: (2012)

Logic Programming and Nonmonotonic Reasoning
Argitaratua: (2013)

Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

The Journal of Symbolic Logic

The Bulletin of Symbolic Logic

The logic of causal order /
nork: Davis, James Allan, 1929-
Argitaratua: (1985)

Journal of Logic, Language, and Information

Public Administration : Theory and Practice
nork: Singh, Hoshiar;Sachdeva, Pradeep

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Switching Theory and Logic Design : For JNTUK
nork: Kamal, Raj

Logic for Programming, Artificial Intelligence, and Reasoning
Argitaratua: (2013)

Logic-Based Program Synthesis and Transformation
Argitaratua: (2013)

Starting Out with Programming Logic and Design
nork: Gaddis, Tony

Theory and practice of the social studies.
nork: Johnson, Earl Shepard, 1894-
Argitaratua: (1956)

The theory and practice of modern government,
nork: Finer, Herman, 1898-1969
Argitaratua: (1961)

Genetic Programming Theory and Practice X
Argitaratua: (2013)

The logic of Japanese politics : leaders, institutions, and the limits of change /
nork: Curtis, Gerald L.
Argitaratua: (1999)

Logic
nork: Sheehan

Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Making policy in theory and practice /
Argitaratua: (2007)

The practice of programming /
nork: Kernighan, Brian W.
Argitaratua: (1999)

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

Fundamentals of the theory of computation : principles and practice /
nork: Greenlaw, Raymond
Argitaratua: (1998)

Journal of Logic and Computation

Contemporary logic design /
nork: Katz, Randy H., 1955-
Argitaratua: (1994)

The Logic of Organizations
nork: Bengt Abrahamsson

The logic of filtering :
nork: Kromhout, Melle Jan