Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Effective Logic Computation Revised Edition - Klaus Truemper

inglise keel
2017-09-14
25,28 € 42,13 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 10-16 tööpäeva jooksul

30-päevane tagastamisõigus

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äielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

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.

Lisateave

Autor Klaus Truemper
Kirjastaja Amazon Digital Services LLC - KDP Print US
Väljalaskeaasta 2017
Kaanetüüp Pehme kaanega
EAN 9780999140215
Kirjuta oma arvustus
Te vaatate: Effective Logic Computation Revised Edition
Teie hinnang:

Goodreads'i arvustused

25,28 € 42,13 €