語系
Sernadas, Cristina.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Decidability of Logical Theories and Their Combination
by:
SpringerLink (Online service); Rasga, João.; Sernadas, Cristina.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Foundations of logic and theory of computation /
by:
Sernadas, Cristina.; Sernadas, A., (1952-)
(書目-語言資料,印刷品)
Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems /
by:
Coniglio, Marcelo.; Carnielli, Walter.; Sernadas, Cristina.; Gouveia, Paula.; Gabbay, Dov M.; SpringerLink (Online service)
(書目-語言資料,印刷品)