Logic programming

286 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

MPEG Video Compression Standard
Springer US (2007)
US$189.59

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

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

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

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

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

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
Cambridge University Press (1993)
US$33.00

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

Logic And Declarative Language
Taylor and Francis (1998)
US$42.54

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

Principles of Logic and Logic Programming
Elsevier Science (1996)
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
Elsevier Science (2005)
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$77.37

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