Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.

by Carnielli, Walter., Carnielli, Walter., Coniglio, Marcelo., Gabbay, Dov M., Gouveia, Paula., Sernadas, Cristina.
Published 2008