Theory and Practice of Logic Programming

Theory and Practice of Logic Programming

Bibliografiske detaljer
Format:	Electronisk Tidsskrift
Sprog:	English
Udgivet:	Cambridge University Press
Fag:	Computer Science
Online adgang:	Full text available on Cambridge University Press Off-campus access

Lignende værker

Programming Logics
Udgivet: (2013)

The logic of practice /
af: Bourdieu, Pierre, 1930-2002
Udgivet: (1990)

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

Inductive Logic Programming
Udgivet: (2013)

Logic Programming with Prolog
af: Bramer
Udgivet: (2013)

Programming logic and design : comprehensive /
af: Farrell, Joyce
Udgivet: (2011)

Theory Into Practice

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

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

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

Programming with Higher-Order Logic
af: Dale Miller, Gopalan Nadathur
Udgivet: (2012)

Logic Programming and Nonmonotonic Reasoning
Udgivet: (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 /
af: Davis, James Allan, 1929-
Udgivet: (1985)

Journal of Logic, Language, and Information

Public Administration : Theory and Practice
af: 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
af: Kamal, Raj

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

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

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

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

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

Genetic Programming Theory and Practice X
Udgivet: (2013)

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

Logic
af: 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 /
Udgivet: (2007)

The practice of programming /
af: Kernighan, Brian W.
Udgivet: (1999)

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

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

Journal of Logic and Computation

Contemporary logic design /
af: Katz, Randy H., 1955-
Udgivet: (1994)

The Logic of Organizations
af: Bengt Abrahamsson

The logic of filtering :
af: Kromhout, Melle Jan