Programming Logics

Programming Logics

Bibliografiske detaljer
Andre forfattere:	Voronkov
Format:	Electronisk eBog
Sprog:	English
Udgivet:	Springer Berlin Heidelberg, 2013
Udgivelse:	1
Fag:	Electronic books
Online adgang:	Full text available on Springer Off-campus access

Lignende værker

Inductive Logic Programming
Udgivet: (2013)

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

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

Logic Programming and Nonmonotonic Reasoning
Udgivet: (2013)

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

Theory and Practice of Logic Programming

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

Logic
af: Sheehan

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

Logic and Structure
af: Dalen
Udgivet: (2013)

The Logic of Organizations
af: Bengt Abrahamsson

The logic of filtering :
af: Kromhout, Melle Jan

Algebra & Logic

Flawed Logics
af: Lebovic

The Logic of Being
af: Livingston

Bad Logic
af: Wright

The logic of language
af: Seuren, Pieter A. M.

Algebra and Logic

Logic and Analysis

Introduction to logic /
af: Copi, Irving M.
Udgivet: (1986)

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

Symbolic logic /
af: Copi, Irving M.
Udgivet: (1979)

Basics of logic /
af: Barker, Stephen Francis
Udgivet: (1986)

Persuasion is logic /
af: Hoon-tae, Jeong

Journal of Logic and Analysis | Journal of Logic and Analysis

Review of Modern Logic~The Review of Modern Logic

Journal of Logic and Analysis | Journal of Logic and Analysis

Review of Modern Logic~The Review of Modern Logic

Programmable logic controllers : programming methods and applications /
af: Hackworth, John R.
Udgivet: (2004)

Logical thinking : McKinsey logical thinking and compositional skills /
af: Teruya, Hanako
Udgivet: (2002)

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
af: Cellucci
Udgivet: (2013)

The logic of persuasion : 10 logic tools to train your speech and writing /
af: Kim, Yongkyu
Udgivet: (2007)

Tools for Structured and Object-Oriented Design: An Introduction to Programming Logic
af: Bohl, Marilyn; Rynn, Maria

Proceedings of the 10th international conference on Functional and Logic Programming

Proceedings of the 9th international conference on Functional and logic programming

Proceedings of the 11th international conference on Functional and Logic Programming

Fuzzy Logic and Applications
Udgivet: (2013)