×

找到26个文档(结果1-26)

阿塔纳索夫的直觉主义压缩模糊否定。 (英语) Zbl 1207.03060号

Hüllermier,Eyke(ed.)等人,《基于知识的系统中的信息处理和不确定性管理》。理论和方法。2010年6月28日至7月2日在德国多特蒙德举行的2010年IPMU第13届国际会议。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-642-14054-9/pbk;978-3-442-14055-6/电子书)。计算机和信息科学中的通信80,591-600(2010)。
MSC公司:03电子72
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区间t-范数的区间加法生成器。 (英语) Zbl 1155.03311号

Hodges,Wilfrid(编辑)等人,《逻辑、语言、信息和计算》。2008年7月1日至4日在英国爱丁堡举办的2008年WoLLIC第15届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69936-1/pbk)。计算机科学讲义5110。人工智能课堂讲稿,123-135(2008)。
MSC公司:03电子72
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在CASL中实施局部间隔。 (英语) Zbl 1279.68234号

Sampaio,Augusto(编辑),第二届巴西正式方法研讨会论文集(SBMF 2005),Porto Alegre,RS,巴西,2005年11月30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记184133-149(2007)。
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件