×

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

最新的 引文 关联
亚历山大·阿提基斯（编辑）;弗洛里安·布鲁斯（编辑）;卢克·亨斯伯格（编辑）

第30届时间表征和推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。 （英语） Zbl 1522.68013号

LIPIcs–莱布尼茨国际信息学会议录278.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-298-3）。xiv，22篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 03B44号 第68季度第60季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Artikis}（ed.）等人，第30届时间表征与推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68013）
全文： 内政部 链接
亚历山大·阿提基斯（编辑）;罗伯托·波塞纳托（编辑）;Stefano托内塔（编辑）

第29届时间表征与推理国际研讨会（TIME 2022），虚拟会议，2022年11月7日至9日。 （英语） Zbl 1502.68018号

LIPIcs–莱布尼茨国际信息学会议录247.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik（ISBN 978-3-95977-262-4）。xiv，15篇文章，非连续页面，仅电子版，开放存取（2022年）。
MSC公司：68-06 03B44号 第68季度第60季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Artikis}（ed.）等人，第29届时间表征与推理国际研讨会（TIME 2022），虚拟会议，2022年11月7-9日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2022；Zbl 1502.68018）
全文： 内政部 链接
卡洛·库比（编辑）;约翰·埃德尔（编辑）;马克·雷诺兹（编辑）

第28届时间表征与推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。 （英语） Zbl 1473.68013号

LIPIcs–莱布尼茨国际信息学会议录206.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-206-8）。xiv，17篇文章，非连续页面，仅限电子版，开放获取（2021）。
MSC公司：68-06 03B44号 第68季度第60季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Combi}（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik（2021；Zbl 1473.68013）
全文： 内政部 链接
埃米利奥·穆尼奥斯·韦拉斯科（编辑）;安娜·奥扎基（编辑）;马丁·西奥博尔德（编辑）

第27届时间表征与推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。 （英语） Zbl 1443.68018号

LIPIcs–莱布尼茨国际信息学会议录178.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-167-2）。xi，19篇文章，非连续页面，仅电子版，开放存取（2020年）。
MSC公司：68-06 03B44号 第68季度第60季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{E.Muñoz-Velasco}（ed.）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利博赞博尔扎诺。诉讼程序。Wadern:Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2020；兹bl 1443.68018）
全文： 内政部 链接
约翰·甘珀（编辑）;苏菲·平奇纳特（编辑）;圭多·西亚维科（编辑）

第26届时间表征和推理国际研讨会，《时代》2019年。2019年10月16日至19日，西班牙马拉加。诉讼程序。 （英语） Zbl 1423.68024号

LIPIcs–莱布尼茨国际信息学会议录147.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-127-6）。xi，20篇文章，非连续页面，仅电子版，开放存取（2019年）。
MSC公司：68-06 03B44号 第68季度第60季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Gamper}（ed.）等人，第26届时间表征和推理国际研讨会，《时代》2019年。西班牙马拉加，2019年10月16-19日。诉讼程序。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2019；Zbl 1423.68024）
全文： 内政部 链接
娜塔莎·亚历奇纳（编辑）;科杰蒂尔·诺瓦格（编辑）;沃伊切赫·彭泽克（编辑）

第25届时间表征与推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。 （英语） Zbl 1402.68016号

LIPIcs–莱布尼茨国际信息学会议录120.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-089-7）。xiii，23篇文章，非连续页面，仅电子版，开放存取（2018年）。
MSC公司：68-06 03B44号 第68季度第60季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{N.Alechina}（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15-17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2018；Zbl 1402.68016）
全文： 内政部 链接
Jen-Yves贝齐奥（编辑）;亚历山大·科斯塔·莱特（编辑）;D‘Ottaviano，意大利M.Loffredo（编辑）

逻辑天堂的结局。 （英语） Zbl 1401.03019号

科尔桑奥CLE81.坎皮纳斯：坎皮纳斯教育大学，洛基卡中心，科学认识论（ISBN 978-85-86497-36-0）。第448页。(2018).
MSC公司：03-06 03B45号 03B44号 03B60号 03A05号 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.-Y.Beziau}（编辑）等人，《逻辑天堂的结局》。坎皮纳斯：坎皮纳斯教育大学，洛基卡中心，科学认识论（2018；Zbl 1401.03019）
Fabrice科雷亚;罗森克兰兹，斯文

没什么要来的。为时间增长块理论辩护。 （英语） 兹比尔1398.00035

Synthese库395.查姆：施普林格（ISBN 978-3-319-78703-9/hbk；978-3-3169-78704-6/电子书）。xii，第197页。(2018).
MSC公司：00A30型 03A10号 03B44号 83A99号 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{F.Correia}和\textit{S.Rosenkranz}，没有消息。为时间增长块理论辩护。查姆：施普林格（2018；Zbl 1398.00035）
全文： 内政部
斯文·舍韦（编辑）;托马斯·施耐德（编辑）;杰夫·威森（编辑）

第24届时间表征和推理国际研讨会，2017年10月16日至18日，《时代》杂志，比利时蒙斯。诉讼程序。 （英语） Zbl 1372.68021号

LIPIcs–莱布尼茨国际信息学会议录90.瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-95977-052-1）。xiv，23篇文章，非连续页面，仅电子版，开放存取（2017年）。
MSC公司：68-06 03B44号 第68季度第60季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}（ed.）等人，第24届时间表征与推理国际研讨会，2017年《时代》杂志，比利时蒙斯，2017年10月16-18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2017；Zbl 1372.68021）
全文： 内政部 链接
乌斯曼·桑瓦尔;乌迈尔·西迪克

将生物系统的精细化和信号-时间逻辑相结合。 （英语） Zbl 1367.92045号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日，在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，333-339（2017）。
MSC公司：92立方厘米 00A71号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{U.Sanwal}和\textit{U.Siddique}，莱克特。注释计算。科学。10383、333--339（2017年；Zbl 1367.92045）
全文： 内政部
米歇尔·赫文斯泰恩;法哈德·阿尔巴

为故事和游戏中的时间旅行建立一个正式的基础。 （英语） 1475.00005兹罗提

阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 261-276 (2016).
MSC公司：00A08号 03B44号 第68季度第60季度 81第05页 83立方厘米 91A99型
PDF格式BibTeX公司 XML格式引用
\textit{M.Helvensteijn}和\textit{F.Arbab}，莱克托。注释计算。科学。9660，261--276（2016；Zbl 1475.00005）
全文： 内政部
本·莫斯科夫斯基（编辑）;格列夫，迪米塔尔（编辑）;马丁·勒克（编辑）

客座编辑为《间隔时间逻辑》专刊撰写的前言。 （英语） Zbl 1298.00328号

安。数学。Artif公司。智力。 71，编号1-3，1-9（2014）.
MSC公司：00B25型 03-06 68-06 03B44号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Moszkowski}（编辑）等，《数学年鉴》。Artif公司。智力。71，编号1--3，1--9（2014；Zbl 1298.00328）
全文： 内政部
什瓦尔诺，皮特

BST/BCont模型中的时间流和相关语义观察。 （英语） Zbl 1273.03065号

Punčochář，Vít（编辑）等人，《2012年Logica年鉴》。2012年6月18日至22日，捷克共和国赫尼茨修道院，第26届Logica年度国际研讨会论文集。伦敦：学院出版物（ISBN 978-1-84890-110-0/pbk）。181-199 (2013).
MSC公司：03B44号 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{P.Švarní}，收录于：2012年Logica年鉴。2012年6月18日至22日，第26届国际Logica年会论文集，捷克共和国赫尼策修道院。伦敦：学院出版物。181-199（2013年；Zbl 1273.03065）
莫德凯·本·阿里

计算机科学的数学逻辑。第3版。 （英语） Zbl 1248.03001号

柏林：施普林格出版社（ISBN 978-1-4471-4128-0/pbk；978-1-447 1-4129-7/电子书）。xv，第346页。(2012).
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：03-01 68-01 00A06号 03B05号 03B10号机组 03B35型 03B44号 03B70号 68N17号 65年第68季度 第68季度第60季度 68吨15 97E30型 97页20
PDF格式BibTeX公司 XML格式引用
\textit{M.Ben-Ari}，计算机科学的数学逻辑。第三版，柏林：施普林格出版社（2012；Zbl 1248.03001）
全文： 内政部
安吉洛·蒙塔纳里（编辑）;马格丽塔·那不勒斯（编辑）;帕伦特，米姆（编辑）

特刊：游戏、自动化、逻辑和形式验证（GandALF 2010）。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述，选出了一些论文。 （英语） Zbl 1250.68042号

发现的国际期刊。计算。科学。23，第3期，555-711（2012）。
MSC公司：68-06 91-06 03-06 00B25型 第68季度第60季度 65年第68季度 91A05型 91A43型 91A24型 91A15型 03B80号 03B44号 03B45号 05年3月
PDF格式BibTeX公司 XML格式
萨拉·乌克尔曼。;乔尔·乌克尔曼

抽象时空结构的模态和时间逻辑。 （英语） Zbl 1223.83008号

研究历史。菲洛斯。科学。，B部分，学生历史。菲洛斯。国防部。物理学。 38，第3号，673-681（2007）.
MSC公司：83A05号 00A79号 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Uckelman}和\textit{J.Uckelban}，历史研究。菲洛斯。科学。，B部分，学生历史。菲洛斯。国防部。物理学。38，第3673-681号（2007年；兹bl 1223.83008）
全文： 内政部
马克·雷诺兹（编辑）;迈克尔·扎克哈里亚舍夫（编辑）

特刊：2000年10月4日至7日在德国莱比锡举行的第三届国际时序逻辑会议论文集。 （英语） Zbl 0996.00513号

J.日志。计算。 第4期，第12期，第547-700页（2002年）.
MSC公司：00B25型 03-06
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}（编辑）和\textit{M.Zakharyaschev}（主编），J.Log。计算。12，第4号，547--700（2002；Zbl 0996.00513）
全文： 内政部
马诺利斯Gergatsoulis（编辑）;帕诺斯·朗多吉安尼（编辑）

内涵式规划2。1999年6月28日至30日，希腊雅典，第十二届内涵式编程语言国际研讨会（ISLIP’99）的论文。 （英语） Zbl 0970.00028号

新加坡：世界科学。viii，第321页（2000年）。
MSC公司：00B25型 68-06 68甲15 68N17号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Gergatsoulis｝（编辑）和\textit｛P.Rondogiannis｝（编辑），内涵编程II。1999年6月28日至30日在希腊雅典举行的第十二届内涵式编程语言国际研讨会（ISLIP’99）上发表的论文。新加坡：世界科学（2000；Zbl 0970.00028）
霍华德·巴林格（编辑）;迈克尔·费希尔（编辑）;Dov Gabbay公司（编辑）;格雷厄姆·高夫（编辑）

时间逻辑的进展。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。 （英语） Zbl 0931.00025

应用逻辑系列. 16. 多德雷赫特：Kluwer学术出版社。ix，453页（2000年）。
MSC公司：00B25型 03-06 68-06 03B45号 68T27型 68号01
PDF格式BibTeX公司 XML格式引用
\textit{H.Barringer}（编辑）等人，《时序逻辑的进展》。第二届时间逻辑国际会议论文选集，ICTL，英国曼彻斯特，1997年。多德雷赫特：Kluwer学术出版社（2000年；Zbl 0931.00025）
莱昂纳德·博尔克（编辑）;斯扎·阿斯、安德烈吉（编辑）

时间和逻辑：一种计算方法。 （英语） Zbl 0849.03011号

伦敦：伦敦大学出版社。viii，第325页（1995年）。
审核人：U.Hahn（弗赖堡i.Br.）
MSC公司：03B45号 03B70号 03-06 68-06 00B25型 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bolc}（编辑）和\textit{A.Szałas}（主编），时间与逻辑：一种计算方法。伦敦：伦敦大学出版社（1995；Zbl 0849.03011）
Dov M.加巴伊。（编辑）;C.J.霍格。（编辑）;罗宾逊，J.A。（编辑）

人工智能和逻辑编程逻辑手册。第四卷：认识论和时间推理。 （英语） Zbl 0819.03010号

牛津：克拉伦登出版社。xvi，第611页（1995年）。
审核人：J.Šefránek（布拉迪斯拉发）
MSC公司：03B45号 68T27型 03-06 68-06 03B60号 68-00 03-00 00B15号机组 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）等人，《人工智能和逻辑编程逻辑手册》。第四卷：认识论和时间推理。牛津：克拉伦登出版社（1995；Zbl 0819.03010）
加布里埃尔·佩雷拉·洛佩斯（编辑）

自然语言理解和逻辑编程第五次研讨会会议记录，NLULP-95，1995年5月28日至31日在葡萄牙里斯本举行。 （英语） Zbl 0841.68026号

里斯本：新里斯本大学。Ciencias e Tecnologia，x，279 p.（1995）。
审核人：N.Curteanu（伊阿什）
MSC公司：68N17号 68-06 00B25型 68T50型 第68页，共15页 68层35 68第20页
PDF格式BibTeX公司 XML格式引用
\textit{G.Pereira Lopes}（编辑），自然语言理解和逻辑编程第五次研讨会会议记录，NLULP-95，1995年5月28日至31日在葡萄牙里斯本举行。里斯本：新里斯本大学。Ciencias e Tecnologia（1995；Zbl 0841.68026）
Dov M.加巴伊。（编辑）;汉斯·奥巴赫（Hans J.Ohlbach）。（编辑）

时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 （英语） 兹比尔0875.003007

计算机科学课堂讲稿人工智能课堂讲稿。柏林：斯普林格。xi，546 p.104.00马克；öS 811.20；sFr 104.00/sc（1994年）。
MSC公司：03-06 68-06 00B25型 03B45号 68T27型 68号01
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）和textit{H.J.Ohlbach}（主编），时间逻辑。1994年7月11-14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：施普林格（1994；Zbl 0875.03007）
全文： 内政部
梅因，M。（编辑）;梅尔顿，A。（编辑）;Mislove，M。（编辑）;施密特，D。（编辑）

编程语义的数学基础。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。 （英语） Zbl 0751.68005号

计算机科学课堂讲稿442.柏林等：斯普林格·弗拉格。六、 第439页（1990年）。
审核人：E.P.de Vink公司
MSC公司：68-06 68号30 68问题55 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Main}（ed.）等人，编程语义的数学基础。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0751.68005）
全文： 内政部
雅各布斯·W·德·巴克。（编辑）;威廉·鲍尔·德·罗弗（编辑）;格列泽戈兹·罗森贝格（编辑）

并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日，荷兰Noordwijkerhout学校/研讨会。诉讼程序。 （英语） Zbl 0683.68001号

计算机科学课堂讲稿354.柏林等：斯普林格·弗拉格。八、 第713页（1989年）。
MSC公司：68-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛J.W.de Bakker｝（编辑）等人，逻辑和并发模型中的线性时间、分支时间和偏序。1988年5月30日至6月3日，荷兰诺德威克霍特学校/工作室。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0683.68001）
菲利普·斯梅茨（编辑）;阿贝·马姆达尼（编辑）;迪迪埃·杜布瓦（编辑）;亨利·普拉德（编辑）

用于自动推理的非标准逻辑。 （英语） Zbl 0669.03002号

伦敦等：学术出版社x，334 p.£19.00（1988）。
审核人：S.戈特瓦尔德
MSC公司：03-06 68-06 00亿Bxx 03B60号 68T99型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{P.Smets}（ed.）等人，《自动推理的非标准逻辑》。伦敦等：学术出版社（1988；Zbl 0669.03002）
F.根特纳。（编辑）;施密特，S.J。（编辑）
[Hintikka，J。;卡尔森，L。;R.M.斯马比。;基南，E。;T·莱因哈特。;库珀，R。;克雷斯韦尔，M.J。;弗兰茨·根特纳;阿奎斯特，L。;H·坎普。;福科尼埃，G。;Petöfi，J.S。;R·豪瑟。;扎弗勒，D。;W·金德。]

自然语言的形式语义学和语用学。 （英语） 兹比尔0438.03002

综合语言库, 4. 多德雷赫特-博斯顿-伦敦：D.Reidel出版公司。八、 378 p.hbk：英国国防部。105.00; $ 47.50; pbk：英国国防部。45.00美元19.50 (1979).
MSC公司：03A05号 03-06 00亿Bxx
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件