Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Bibliografische gegevens
Andere auteurs:	Albert
Formaat:	Elektronisch E-boek
Taal:	English
Gepubliceerd in:	Springer Berlin Heidelberg, 2013
Editie:	1
Onderwerpen:	Electronic books
Online toegang:	Full text available on Springer Off-campus access

Gelijkaardige items

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
door: Czerwinski
Gepubliceerd in: (2013)

Programming Logics
Gepubliceerd in: (2013)

Inductive Logic Programming
Gepubliceerd in: (2013)

Logic Programming with Prolog
door: Bramer
Gepubliceerd in: (2013)

Programming logic and design : comprehensive /
door: Farrell, Joyce
Gepubliceerd in: (2011)

Logic Programming and Nonmonotonic Reasoning
Gepubliceerd in: (2013)

Programming with Higher-Order Logic
door: Dale Miller, Gopalan Nadathur
Gepubliceerd in: (2012)

Theory and Practice of Logic Programming

Logic-based Nonlinear Image Processing
door: Marshall, Stephen
Gepubliceerd in: (2009)

Logic-based Nonlinear Image Processing
door: Marshall, Stephen

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

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

Logic
door: Sheehan

Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
door: Aliev
Gepubliceerd in: (2013)

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

Transforming campus networks to intent-based networking /
door: Nefkens, Pieter-Jan
Gepubliceerd in: (2020)

Hydroformylation for Organic Synthesis
Gepubliceerd in: (2013)

Improvements in Speech Synthesis

Advanced Synthesis & Catalysis

Network analysis and synthesis /
door: Kuo, Franklin F., 1934-
Gepubliceerd in: (1966)

Logic and Structure
door: Dalen
Gepubliceerd in: (2013)

The Logic of Organizations
door: Bengt Abrahamsson

The logic of filtering :
door: Kromhout, Melle Jan

Algebra & Logic

Flawed Logics
door: Lebovic

The Logic of Being
door: Livingston

Bad Logic
door: Wright

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

Algebra and Logic

Logic and Analysis

Introduction to logic /
door: Copi, Irving M.
Gepubliceerd in: (1986)

The logic of practice /
door: Bourdieu, Pierre, 1930-2002
Gepubliceerd in: (1990)

Symbolic logic /
door: Copi, Irving M.
Gepubliceerd in: (1979)

Basics of logic /
door: Barker, Stephen Francis
Gepubliceerd in: (1986)

Persuasion is logic /
door: 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