Programming Logics

Programming Logics

Bibliografske podrobnosti
Drugi avtorji:	Voronkov
Format:	Elektronski eKnjiga
Jezik:	English
Izdano:	Springer Berlin Heidelberg, 2013
Izdaja:	1
Teme:	Electronic books
Online dostop:	Full text available on Springer Off-campus access

Podobne knjige/članki

Inductive Logic Programming
Izdano: (2013)

Logic Programming with Prolog
od: Bramer
Izdano: (2013)

Programming logic and design : comprehensive /
od: Farrell, Joyce
Izdano: (2011)

Logic Programming and Nonmonotonic Reasoning
Izdano: (2013)

Programming with Higher-Order Logic
od: Dale Miller, Gopalan Nadathur
Izdano: (2012)

Theory and Practice of Logic Programming

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

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

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

Logic
od: Sheehan

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

Logic and Structure
od: Dalen
Izdano: (2013)

The Logic of Organizations
od: Bengt Abrahamsson

The logic of filtering :
od: Kromhout, Melle Jan

Algebra & Logic

Flawed Logics
od: Lebovic

The Logic of Being
od: Livingston

Bad Logic
od: Wright

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

Algebra and Logic

Logic and Analysis

Introduction to logic /
od: Copi, Irving M.
Izdano: (1986)

The logic of practice /
od: Bourdieu, Pierre, 1930-2002
Izdano: (1990)

Symbolic logic /
od: Copi, Irving M.
Izdano: (1979)

Basics of logic /
od: Barker, Stephen Francis
Izdano: (1986)

Persuasion is logic /
od: 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 /
od: Hackworth, John R.
Izdano: (2004)

Logical thinking : McKinsey logical thinking and compositional skills /
od: Teruya, Hanako
Izdano: (2002)

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
od: Cellucci
Izdano: (2013)

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

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