Logic programming

116 titles from eBooks.com
MPEG Video Compression Standard
Springer US (2007)
US$239.00

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

Logic Synthesis for Compositional Microprogram Control Units
US$149.00

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

Logic Synthesis and Verification Algorithms
Springer US (2007)
US$89.00

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

Introduction to the Theory of Programming Languages
US$34.99

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)
US$131.00

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

The Clausal Theory of Types
US$29.50

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

Logic And Declarative Language
US$65.95

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

Principles of Logic and Logic Programming
US$225.00

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

Mathematical Programming: Theory and Methods
US$78.95

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

Mathematical Aspects of Logic Programming Semantics
CRC Press (2016)
US$79.95

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