Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Effective Logic Computation Revised Edition - Klaus Truemper

englanti
2017-09-14
31,49 € 41,98 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 10-16 arkipäivässä

30 päivän palautusoikeus

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 extensio ... Täydellinen kuvaus

Saatat myös pitää

Kuvaus

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.

Lisätietoja

Kirjoittaja Klaus Truemper
Julkaisija Amazon Digital Services LLC - KDP Print US
Julkaisuvuosi 2017
Kannen tyyppi Pehmeäkantinen
EAN 9780999140215
Kirjoita oma arvostelusi
Arvostelet: Effective Logic Computation Revised Edition
Arvostelusi:

Goodreads-arvostelut

31,49 € 41,98 €