×

找到10个文档（结果1-10）

最新的 引文 关联
阿诺·阿夫隆;奥里·拉哈夫

基本序列系统的克里普克语义。 （英语） Zbl 1333.03236号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。人工智能课堂讲稿，43-57（2011）。
MSC公司：05年3月 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}和\textit{O.Lahav}，莱克特。注释计算。科学。6793，43-57（2011；Zbl 1333.03236）
全文： 内政部
阿诺·阿夫隆;奥里·拉哈夫

一阶哥德尔逻辑的多结论演算。 （英语） Zbl 1332.03004号

库利科夫，亚历山大（编辑）等人，《计算机科学——理论与应用》。2011年6月14日至18日，在俄罗斯圣彼得堡举行的第六届国际计算机科学研讨会，CSR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20711-2/pbk）。计算机科学讲座笔记6651，456-469（2011）。
MSC公司：03B50号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}和\textit{O.Lahav}，莱克特。注释计算。科学。6651、456--469（2011年；Zbl 1332.03004）
全文： 内政部
阿诺·阿夫隆;奥里·拉哈夫

严格的规范构造系统。 （英语） Zbl 1287.03099号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。《计算机科学讲义》6300，75-94（2010）。
MSC公司：05年3月 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}和\textit{O.Lahav}，莱克特。注释计算。科学。6300，75-94（2010年；兹比尔1287.03099）
全文： 内政部
阿诺·阿夫隆;安娜·扎曼斯基

规范符号计算、非确定性矩阵和删减。 （英语） Zbl 1211.03086号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿5407，31-45（2009）。
MSC公司：07年3月 03年2月22日 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}和\textit{A.Zamansky}，莱克特。注释计算。科学。5407、31-45（2009年；Zbl 1211.03086）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件