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)