語系
跳至 : 概要 | 書目資訊 | 主題

Carnielli, Walter.

概要
作品: 1 作品在 1 項出版品 1 種語言
書目資訊
Paraconsistent logic = consistency, contradiction and negation / by: Carnielli, Walter.; Coniglio, Marcelo Esteban.; SpringerLink (Online service) (書目-電子資源)
Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: Coniglio, Marcelo.; Gabbay, Dov M.; Gouveia, Paula.; Sernadas, Cristina.; SpringerLink (Online service); Carnielli, Walter. (書目-語言資料,印刷品)
Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler / by: Pizzi, Claudio.; SpringerLink (Online service); Carnielli, Walter. (書目-語言資料,印刷品)
Model-based reasoning in science and technology = abduction, logic, and computational discovery / by: Carnielli, Walter.; Magnani, Lorenzo.; Pizzi, Claudio.; SpringerLink (Online service) (書目-語言資料,印刷品)
 
 
變更密碼
登入