Theory and Practice of Logic Programming

Theory and Practice of Logic Programming

Podrobná bibliografie
Médium:	Elektronický zdroj Časopis
Jazyk:	English
Vydáno:	Cambridge University Press
Témata:	Computer Science
On-line přístup:	Full text available on Cambridge University Press Off-campus access

Podobné jednotky

Programming Logics
Vydáno: (2013)

The logic of practice /
Autor: Bourdieu, Pierre, 1930-2002
Vydáno: (1990)

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

Inductive Logic Programming
Vydáno: (2013)

Logic Programming with Prolog
Autor: Bramer
Vydáno: (2013)

Theory Into Practice

Programming logic and design : comprehensive /
Autor: Farrell, Joyce
Vydáno: (2011)

Logic and discrete mathematics : a computer science perspective /
Autor: Grassmann, Winfried K.
Vydáno: (1996)

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

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

Programming with Higher-Order Logic
Autor: Dale Miller, Gopalan Nadathur
Vydáno: (2012)

Logic Programming and Nonmonotonic Reasoning
Vydáno: (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 /
Autor: Davis, James Allan, 1929-
Vydáno: (1985)

Journal of Logic, Language, and Information

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

Logic for Programming, Artificial Intelligence, and Reasoning
Vydáno: (2013)

Logic-Based Program Synthesis and Transformation
Vydáno: (2013)

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

Theory and practice of the social studies.
Autor: Johnson, Earl Shepard, 1894-
Vydáno: (1956)

The theory and practice of modern government,
Autor: Finer, Herman, 1898-1969
Vydáno: (1961)

Genetic Programming Theory and Practice X
Vydáno: (2013)

Logic
Autor: 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 /
Vydáno: (2007)

The practice of programming /
Autor: Kernighan, Brian W.
Vydáno: (1999)

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

Fundamentals of the theory of computation : principles and practice /
Autor: Greenlaw, Raymond
Vydáno: (1998)

Journal of Logic and Computation

Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
Autor: Aliev
Vydáno: (2013)

Contemporary logic design /
Autor: Katz, Randy H., 1955-
Vydáno: (1994)

The Logic of Organizations
Autor: Bengt Abrahamsson

The logic of filtering :
Autor: Kromhout, Melle Jan