Programming Logics

Programming Logics

Podrobná bibliografie
Další autoři:	Voronkov
Médium:	Elektronický zdroj E-kniha
Jazyk:	English
Vydáno:	Springer Berlin Heidelberg, 2013
Vydání:	1
Témata:	Electronic books
On-line přístup:	Full text available on Springer Off-campus access

Podobné jednotky

Inductive Logic Programming
Vydáno: (2013)

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

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

Logic Programming and Nonmonotonic Reasoning
Vydáno: (2013)

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

Theory and Practice of Logic Programming

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

Logic
Autor: Sheehan

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

Logic and Structure
Autor: Dalen
Vydáno: (2013)

The Logic of Organizations
Autor: Bengt Abrahamsson

The logic of filtering :
Autor: Kromhout, Melle Jan

Algebra & Logic

Flawed Logics
Autor: Lebovic

The Logic of Being
Autor: Livingston

Bad Logic
Autor: Wright

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

Algebra and Logic

Logic and Analysis

Introduction to logic /
Autor: Copi, Irving M.
Vydáno: (1986)

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

Symbolic logic /
Autor: Copi, Irving M.
Vydáno: (1979)

Basics of logic /
Autor: Barker, Stephen Francis
Vydáno: (1986)

Persuasion is logic /
Autor: 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 /
Autor: Hackworth, John R.
Vydáno: (2004)

Logical thinking : McKinsey logical thinking and compositional skills /
Autor: Teruya, Hanako
Vydáno: (2002)

The logic of persuasion : 10 logic tools to train your speech and writing /
Autor: Kim, Yongkyu
Vydáno: (2007)

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Autor: Cellucci
Vydáno: (2013)

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