×

找到110个文档(结果1-100)

结合性公理和交换性公理的同胚嵌入模组合。 (英语) Zbl 1524.68068号

弗雷德·梅斯纳德(编辑)等,基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11408,38-55(2019)。
PDF格式BibTeX公司 XML格式引用

唐·皮戈齐(Don Pigozzi):抽象代数逻辑、泛代数和计算机科学。 (英语) Zbl 1390.03005号

对逻辑的杰出贡献16.查姆:施普林格(ISBN 978-3-319-74771-2/hbk;978-3-3169-74772-9/电子书)。xxxii,454页。(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

标称过程计算的规则格式。 (英语) 兹比尔1442.68120

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第10条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定量部分模型检验函数及其优化。 (英语) Zbl 1403.68121号

Eiter,Thomas(编辑)等人,LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特:EasyChair。EPiC计算系列46,319-337(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学家的数学。基础和应用。第二次修订和扩大版。(Mathematik für Informatiker,Grundlagen und Anwendungen.) (德语) Zbl 1390.68005号

威斯巴登:Springer Vieweg(ISBN 978-3-662-49869-9/pbk;978-3-862-49870-5/电子书)。xi,第551页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散数学简编。(马塞马提克公园) (德语) Zbl 1302.00001号

德格鲁伊特工作室柏林:De Gruyter/Oldenbourg(ISBN 978-3-486-75697-5/pbk;978-3-486-78132-8/电子书)。ix,第378页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于数据挖掘的数学工具。集合论,偏序,组合学。第2版。 (英语) Zbl 1303.68006号

高级信息和知识处理伦敦:施普林格出版社(ISBN 978-1-4471-6406-7/hbk;978-1-447 1-6407-4/电子书)。xi,831页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从计算机验证的角度看数学基础。 (英语) Zbl 1322.03006号

彼得·保罗(编辑),《数学、计算机科学和逻辑》——一个永无止境的故事。布鲁诺-巴赫伯格节日。基于2002年10月22日在奥地利哈根堡举行的布鲁诺·巴赫伯格60岁生日会议。查姆:施普林格(ISBN 978-3-319-00965-0/hbk;978-3-3169-00966-7/电子书)。1-49 (2013).
MSC公司:03A05号 03年11月15日 03B30型 03B35型 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学的数学基础。集合、逻辑、递归。(Mathematische Grundlagen für die Informatik.Mengen,Logik,Rekursion) (德语) Zbl 1291.68003号

斯普林格·勒布赫威斯巴登:Springer Vieweg(ISBN 978-3-658-03078-0/pbk;978-3-558-03079-7/ebook)。x、 222页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模拟计算系统。计算机科学数学。 (英语) Zbl 1278.68007号

计算机科学本科专题伦敦:施普林格出版社(ISBN 978-1-84800-321-7/pbk;978-1-84800-322-4/ebook)。十六、500页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统的代数演算。 (英语) Zbl 1237.68010号

诺德斯泰德:图书点播;奥格斯堡:奥格斯伯格大学,Fakultät für Angewandte Informatik(ISBN 978-3-8391-2510-6/hbk)。x、 204页。(2009).
PDF格式BibTeX公司 XML格式引用
全文: 链接

切换图形。 (英语) Zbl 1337.68205号

Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223119-135(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学家的数学。基础和应用。(信息学家Mathematik für Informatiker,Grundlagen und Anwendungen。) (德语) Zbl 1119.68001号

海德堡:Elsevier/Spektrum Akademischer Verlag(ISBN 978-3-8274-1631-5/pbk)。xi,第451页。(2007).
PDF格式BibTeX公司 XML格式引用

布尔逻辑的起源。它的历史和计算机探索。 (英语) Zbl 1183.03003号

马德里皇家科学院纪念馆33.马德里:皇家科学院(Real Academia de Ciencias Exactas,Físicas y Naturales)(ISBN 978-84-87125-44-7/pbk)。xi,第154页。(2005).
PDF格式BibTeX公司 XML格式引用

部分结构的扩展及其在多智能体系统建模中的应用。 (英语) Zbl 1075.08002号

Dunin-Kȩplicz,Barbara(编辑)等人,《多智能体系统中的监控、安全和救援技术》。在2004年6月7日至9日于波兰普洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会(MSRAS 2004)上发表了部分论文。柏林:施普林格出版社(ISBN 3-540-23245-1/pbk)。《软计算进展》,293-304(2005)。
PDF格式BibTeX公司 XML格式引用

计算机科学中的逻辑。系统建模和推理。第2版。 (英语) Zbl 1073.68001号

剑桥:剑桥大学出版社(ISBN 0-521-54310-X/pbk;978-0-521-83536-7/hbk)。xiv,427页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有独立类型记录的逻辑框架。 (英语) Zbl 1052.68018号

马丁·霍夫曼(编辑),《打字lambda calculi和应用》。第六届国际会议,2003年TLCA,2003年6月10日至12日,西班牙巴伦西亚。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40332-9/pbk)。莱克特。注释计算。科学。2701, 105-119 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于一个推广的逻辑性定理。 (英语) Zbl 1072.68536号

Calmet,Jacques(编辑)等人,《人工智能、自动推理和符号计算》。联合国际会议:AISC 2002,第六届人工智能和符号计算国际会议,Calculemus 2002,第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43865-3)。莱克特。注释计算。科学。2385, 51-63 (2002).
MSC公司:2012年第68季度 68吨15 07年3月
PDF格式BibTeX公司 XML格式引用
全文: 链接

FABULA系统中布尔代数问题公式转换的实现工具。 (俄语。英文摘要) Zbl 0951.68052号

Kas'yanov,V.N.(编辑),《信息系统和编程问题》。新西伯利亚:信息研究所。A.P.Ershova SO RAN,202-215(1999)。
PDF格式BibTeX公司 XML格式引用

代数逻辑、代数变体和代数变体。 (英语) Zbl 0961.08001号

Kublanovsky,S.(ed.)等人,具有应用的半群,包括半群环。1995年6月19日至30日,俄罗斯圣彼得堡为纪念E.S.Lyapin举行的国际会议。圣彼得堡:Severny Ochag,189-270(1999)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

有符号间隔逻辑。 (英语) Zbl 0942.03027号

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第13届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 157-171 (1999).
MSC公司:03B44号 03B70号
PDF格式BibTeX公司 XML格式引用

泛矩阵的新特征表明,神经网络不能成为代数网络。 (英语) Zbl 0907.08003号

对普通代数的贡献10。1997年5月29日至6月1日在奥地利克拉根福举行的普通代数会议上的演讲精选。克拉根福:弗拉格·约翰内斯·希恩。269-291 (1998).
PDF格式BibTeX公司 XML格式引用

有限变换系统的无限域逻辑。 (英语) Zbl 0885.03030号

Abadi,Martín(编辑)等人,《计算机软件的理论方面》。第三届国际研讨会,1997年TACS。1997年9月23日至26日,日本仙台。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1281, 213-232 (1997).
PDF格式BibTeX公司 XML格式引用

背景材料:“计算机科学中的关系方法”。 (英语) Zbl 0879.08006号

Brink,Chris(编辑)等人,《计算机科学中的关系方法》。维恩:施普林格。计算机科学进展。1-21 (1997).
PDF格式BibTeX公司 XML格式引用

方程式逻辑和三次曲线的自动推导。 (英语) Zbl 0921.03011号

计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林:Springer-Verlag。ix,231页,马克54.00;öS 394.20;法语。48.00 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有超限类型的高阶代数。 (英语) 兹比尔1407.68093

Dowek,Gilles(编辑)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1074, 238-263 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(R^n)和(G^n)逻辑。 (英语) Zbl 1434.03083号

Dowek,Gilles(编辑)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1074, 90-108 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学逻辑手册。第4卷:语义建模。 (英语) Zbl 0876.68001号

牛津:克拉伦登出版社。xiii,651页(1995年)。
PDF格式BibTeX公司 XML格式引用

通用代数、代数逻辑和数据库。Transl.公司。来自俄罗斯的J.Cirulis、A.Nenashev和V.Pototsky。版次Transl。 (英语) Zbl 0785.68025号

数学及其应用(多德雷赫特). 272. 多德雷赫特:Kluwer学术出版社。xv,438页(1994年)。
PDF格式BibTeX公司 XML格式引用

计算作为逻辑。Transl.公司。约翰·普莱斯的《来自法国》。 (英语) Zbl 0823.03015号

普伦蒂斯·霍尔计算机科学国际系列。海梅尔·亨普斯特德:普伦蒂斯·霍尔。巴黎:Masson,xi,387 p.(1993)。
PDF格式BibTeX公司 XML格式引用

阿尔及利亚加拉提克。(银河代数)。2èmeéd。(阿尔盖布雷·卡拉狄克) (法语) Zbl 0850.08001号

Roccqueourt:国家信息与自动化研究所(INRIA)。xxxiv,232页(南希一大学,Vandoevre-Les-Nancy,1990年)(1992年)。
MSC公司:08-02 08A70型 03G30型
PDF格式BibTeX公司 XML格式引用

抽象结构上的可证明可计算选择函数。 (英语) Zbl 0805.03034号

Aczel,Peter(编辑)等人,证明理论。本文选自1990年7月24日至8月2日在英国利兹大学举行的利兹证明理论国际暑期学校和证明理论会议的论文。剑桥:剑桥大学出版社。277-306(1992年)。
PDF格式BibTeX公司 XML格式引用

关于等式逻辑的表达性。 (英语) Zbl 0768.08003号

统一计算实验室:建模、规范和工具。Conf.,Stirling/UK 1990,数学研究所。申请。Conf.序列号。,新序列号。35, 85-100 (1992).
PDF格式BibTeX公司 XML格式引用

论句法等式理论。 (英语) Zbl 0925.03159号

Kirchner,Helene(编辑)等人,《代数和逻辑编程》。1992年9月2日至4日,第三届国际会议,ALP’92,意大利沃尔特拉。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。632, 446-457 (1992).
PDF格式BibTeX公司 XML格式引用

二元关系理论。 (英语) 兹伯利0760.03018

代数逻辑。科洛克,布达普/挂。1988年,大学数学。János Bolyai社会54,245-292(1991)。
PDF格式BibTeX公司 XML格式引用

证明和重写。 (英语) Zbl 1496.03045号

Kirchner,Hélène(编辑)等人,《代数与逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 1-24 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ISSAC’88。符号和代数计算国际研讨会论文集。1988年7月4日至8日,意大利罗马。 (英语) Zbl 0706.68006号

计算机科学课堂讲稿358.柏林等:斯普林格·弗拉格。xi,544 p.74.00马克(1989年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份