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

Caferra, Ricardo.

概要
作品: 5 作品在 0 項出版品 0 種語言
書目資訊
Automated deduction in classical and non-classical logics = selected papers / by: Caferra, Ricardo.; Salzer, Gernot.; SpringerLink (Online service) (書目-語言資料,印刷品)
 
 
變更密碼
登入