Programming Logics

Programming Logics

Bibliographic Details
Other Authors:	Voronkov
Format:	Electronic eBook
Language:	English
Published:	Springer Berlin Heidelberg, 2013
Edition:	1
Subjects:	Electronic books
Online Access:	Full text available on Springer Off-campus access

Similar Items

Inductive Logic Programming
Published: (2013)

Logic Programming with Prolog
by: Bramer
Published: (2013)

Programming logic and design : comprehensive /
by: Farrell, Joyce
Published: (2011)

Logic Programming and Nonmonotonic Reasoning
Published: (2013)

Programming with Higher-Order Logic
by: Dale Miller, Gopalan Nadathur
Published: (2012)

Theory and Practice of Logic Programming

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

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

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

Logic
by: Sheehan

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

Logic and Structure
by: Dalen
Published: (2013)

The Logic of Organizations
by: Bengt Abrahamsson

The logic of filtering :
by: Kromhout, Melle Jan

Algebra & Logic

Flawed Logics
by: Lebovic

The Logic of Being
by: Livingston

Bad Logic
by: Wright

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

Algebra and Logic

Logic and Analysis

The logic of practice /
by: Bourdieu, Pierre, 1930-2002
Published: (1990)

Introduction to logic /
by: Copi, Irving M.
Published: (1986)

Symbolic logic /
by: Copi, Irving M.
Published: (1979)

Persuasion is logic /
by: Hoon-tae, Jeong

Basics of logic /
by: Barker, Stephen Francis
Published: (1986)

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 /
by: Hackworth, John R.
Published: (2004)

Logical thinking : McKinsey logical thinking and compositional skills /
by: Teruya, Hanako
Published: (2002)

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
by: Cellucci
Published: (2013)

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

Tools for Structured and Object-Oriented Design: An Introduction to Programming Logic
by: 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
Published: (2013)