Logic programming

116 titles from eBooks.com
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

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

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

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

Logic And Declarative Language

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

Principles of Logic and Logic Programming

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

Mathematical Programming: Theory and Methods

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...