語系
Coniglio, Marcelo.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-電子資源)