Name: Effective Logic Computation: Revised Edition
SKU: 63189209
Price: 1008.00 TWD
Availability: InStock
Author: Klaus Truemper
ISBN: 9780999140215

Select your country

Americas

Europe

Rest of the world

portada Effective Logic Computation: Revised Edition

Effective Logic Computation: Revised Edition

Type

Physical Book

Publisher

Leibniz Company

Author

Klaus Truemper

Language

English

Pages

488

Format

Paperback

ISBN13

9780999140215

Effective Logic Computation: Revised Edition

Klaus Truemper (Author) · Leibniz Company · Paperback

New Book Imported to Taiwan

Delivery: 04 Nov - 12 Nov

NT$ 1,008

NT$ 1,008

Add to Wishlist

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

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

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

Effective Logic Computation: Revised Edition - Klaus Truemper

Synopsis "Effective Logic Computation: Revised Edition"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery