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.

�ber die Autorin bzw. den Autor

K. Truemper is Professor Emeritus of Computer Science at the University of Texas at Dallas. He is also author of the books Matroid Decomposition, Design of Logic-based Intelligence Systems, and The Construction of Mathematics.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

The Saint Bookstore has a range of over 1 million titles available.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk