Languages
Coniglio, Marcelo.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems /
by:
Gouveia, Paula.; SpringerLink (Online service); Gabbay, Dov M.; Sernadas, Cristina.; Coniglio, Marcelo.; Carnielli, Walter.
(Electronic resources)