Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole
(Walter Carnielli)

The final version of this paper has been published
Carnielli, W.A. Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. In: Model-Based Reasoning in Science, Technology, and Medicine (Editors, L. Magnani and P. Li). Book Series "Studies in Computational Intelligence", volume 64, pages 349-364. Springer Berlin - Heidelberg, 2007, ISBN: 978-3-540-71985-4.

Published: 2017-08-29