Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Effective Logic Computation: Revised Edition
Type
Physical Book
Language
English
Pages
488
Format
Paperback
ISBN13
9780999140215

Effective Logic Computation: Revised Edition

Klaus Truemper (Author) · Leibniz Company · Paperback

Effective Logic Computation: Revised Edition - Klaus Truemper

New Book Imported to Netherlands
Delivery: 21 Oct - 23 Oct Shipping: 5 to 6 business days.
€ 29,10
Import costs and 9% BTW included in the price ✅
€ 29,10

Synopsis "Effective Logic Computation: Revised Edition"

The engineering advances started in the second half of the 20th century have created an avalanche of new technology. Control and use of that technology require, among many things, effective computational methods for logic. This book proposes one such method. It makes use of a theory of logic computation based on matroid theory, in particular matroid decomposition. Main features of the theory are an extension of propositional logic, an analysis of logic formulas via combinatorial structures, and a construction of logic solution algorithms based on that analysis. The results have been implemented in a software system for logic programming called the Leibniz System.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews