碧姬·品特卡（编辑）;塞萨尔·蒂内利（编辑） 自动扣除–CADE 29。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。 （英语） Zbl 07768439号 计算机科学课堂讲稿人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-38498-1/pbk；978-3-0.31-38499-8/电子书）。xxv，592页。，开放存取（2023年）。MSC公司：68-06 03-06 03B35型 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka}（编辑）和\textit{C.Tinelli}（主编），自动演绎——CADE 29。第29届自动扣减国际会议，意大利罗马，2023年7月1-4日。诉讼程序。查姆：施普林格（2023；Zbl 07768439） 全文： 内政部
卡斯滕·卢茨（编辑）;乌利·萨特勒（编辑）;塞萨尔·蒂内利（编辑）;安妮·亚斯敏（Anni-Yasmin Turhan）（编辑）;弗兰克·沃尔特（编辑） 描述逻辑、理论组合等等。纪念弗兰兹·巴德60岁生日的文章。 （英语） Zbl 1428.68036号 计算机科学课堂讲稿11560.商会：施普林格出版社（ISBN 978-3-030-22101-0/pbk；978-3-030-22102-7/电子书）。xiii，662页。(2019).MSC公司：68-06 68T27型 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}（编辑）等人，描述逻辑，理论组合，等等。纪念弗兰兹·巴德60岁生日的文章。查姆：施普林格（2019；Zbl 1428.68036） 全文： 内政部 arXiv公司
克里斯特尔·拜尔（编辑）;塞萨尔·蒂内利（编辑） 用于构建和分析系统的工具和算法。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序。 （英语） Zbl 1360.68006号 计算机科学课堂讲稿9035.柏林：施普林格出版社（ISBN 978-3-662-46680-3/pbk；978-3-562-46681-0/电子书）。十八、725页。(2015).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}（编辑）和\textit{C.Tinelli}（编），系统构建和分析的工具和算法。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：施普林格出版社（2015；Zbl 1360.68006） 全文： 内政部
塞萨尔·蒂内利（编辑）;维奥里卡Sofrone-Stokkerman（编辑） 组合系统的前沿。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。 （英语） Zbl 1223.68012号 计算机科学课堂讲稿6989.人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。viii，275页。(2011).MSC公司：68-06 68泰克 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}（编辑）和\textit{V.Sofronie-Stokkermans}（主编），组合系统的前沿。2011年10月5-7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（2011；Zbl 1223.68012） 全文： 内政部