Logic programming

286 titles from eBooks.com

New Releases


Ebook Format


MPEG Video Compression Standard
Springer US (2007)

This book initiates a new digital multimedia standards series. The purpose of the series is to make...

Logic Synthesis for Compositional Microprogram Control Units
Springer Berlin Heidelberg (2008)

This book presents design methods for and hardware amount optimization for compositional...

Logic Synthesis and Verification Algorithms
Springer US (2007)

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic...

Introduction to the Theory of Programming Languages
Springer London (2010)

This book sets unites the various formalisms that define a programming language: ‘small steps’...

An Inductive Logic Programming Approach to Statistical Relational Learning
IOS Press (2006)

Talks about Logic Programming, Uncertainty Reasoning and Machine Learning. This book includes...

The Clausal Theory of Types
Cambridge University Press (1993)

In this book is presented the theoretical foundation of a higher-order logic programming language...

Logic And Declarative Language
Taylor and Francis (1998)

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have...

Principles of Logic and Logic Programming
Elsevier Science (1996)

Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to...

Mathematical Programming: Theory and Methods
Elsevier Science (2005)

Mathematical Programming, a branch of Operations Research, is perhaps the most efficient technique...

Mathematical Aspects of Logic Programming Semantics
CRC Press (2016)

Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic...