@incollection{DBLP:series/sci/Carnielli07,
author = {Walter Alexandre Carnielli},
title = {Polynomizing: Logic Inference in Polynomial Format and the
Legacy of Boole},
booktitle = {Model-Based Reasoning in Science, Technology, and Medicine},
year = {2007},
pages = {349-364},
ee = {http://dx.doi.org/10.1007/978-3-540-71986-1_20},
crossref = {DBLP:series/sci/2007-64},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@book{DBLP:series/sci/2007-64,
editor = {Lorenzo Magnani and
Ping Li},
title = {Model-Based Reasoning in Science, Technology, and Medicine},
publisher = {Springer},
series = {Studies in Computational Intelligence},
volume = {64},
year = {2007},
isbn = {978-3-540-71985-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
