Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

書誌詳細
その他の著者:	Albert
フォーマット:	電子媒体 eBook
言語:	English
出版事項:	Springer Berlin Heidelberg, 2013
版:	1
主題:	Electronic books
オンライン･アクセス:	Full text available on Springer Off-campus access

類似資料

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
著者:: Czerwinski
出版事項: (2013)

Programming Logics
出版事項: (2013)

Inductive Logic Programming
出版事項: (2013)

Logic Programming with Prolog
著者:: Bramer
出版事項: (2013)

Programming logic and design : comprehensive /
著者:: Farrell, Joyce
出版事項: (2011)

Logic Programming and Nonmonotonic Reasoning
出版事項: (2013)

Programming with Higher-Order Logic
著者:: Dale Miller, Gopalan Nadathur
出版事項: (2012)

Theory and Practice of Logic Programming

Logic-based Nonlinear Image Processing
著者:: Marshall, Stephen
出版事項: (2009)

Logic-based Nonlinear Image Processing
著者:: Marshall, Stephen

Logic for Programming, Artificial Intelligence, and Reasoning
出版事項: (2013)

Starting Out with Programming Logic and Design
著者:: Gaddis, Tony

Logic
著者:: Sheehan

Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
著者:: Aliev
出版事項: (2013)

Modern Logic~The Review of Modern Logic

Modern Logic~The Review of Modern Logic

Transforming campus networks to intent-based networking /
著者:: Nefkens, Pieter-Jan
出版事項: (2020)

Logic and Structure
著者:: Dalen
出版事項: (2013)

The Logic of Organizations
著者:: Bengt Abrahamsson

The logic of filtering :
著者:: Kromhout, Melle Jan

Algebra & Logic

Flawed Logics
著者:: Lebovic

The Logic of Being
著者:: Livingston

Bad Logic
著者:: Wright

The logic of language
著者:: Seuren, Pieter A. M.

Algebra and Logic

Logic and Analysis

The logic of practice /
著者:: Bourdieu, Pierre, 1930-2002
出版事項: (1990)

Introduction to logic /
著者:: Copi, Irving M.
出版事項: (1986)

Symbolic logic /
著者:: Copi, Irving M.
出版事項: (1979)

Persuasion is logic /
著者:: Hoon-tae, Jeong

Basics of logic /
著者:: Barker, Stephen Francis
出版事項: (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

Hydroformylation for Organic Synthesis
出版事項: (2013)

Improvements in Speech Synthesis

Advanced Synthesis & Catalysis