长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Automated Reasoning
会议名
12th International Joint Conference on Automated Reasoning (IJCAR 2024)
中译名
《第十二届国际自动推理联合会议,卷1》
会议日期
July 3-6, 2024
会议地点
Nancy, France
出版年
2024
馆藏号
352910
题名
作者
出版年
Automated Reasoning for Mathematics
Jeremy Avigad
2024
Induction in Saturation
Laura Kovacs; Petra Hozzova; Marton Hajdu; Andrei Voronkov
2024
Stepping Stones in the TPTP World
Geoff Sutcliffe
2024
An Empirical Assessment of Progress in Automated Theorem Proving
Geoff Sutcliffe; Christian Suttner; Lars Kotthoff; C. Raymond Perrault; Zain Khalid
2024
A Higher-Order Vampire
Ahmed Bhayat; Martin Suda
2024
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic
Johannes Niederhauser; Chad E. Brown; Cezary Kaliszyk
2024
The Naproche-ZF Theorem Prover
Adrian De Lon
2024
Reducibility Constraints in Superposition
Marton Hajdu; Laura Kovacs; Michael Rawson; Andrei Voronkov
2024
First-Order Automatic Literal Model Generation
Martin Bromberger; Florent Krasnopol; Sibylle Mohle; Christoph Weidenbach
2024
Synthesis of Recursive Programs in Saturation
Petra Hozzova; Daneshvar Amrollahi; Marton Hajdu; Laura Kovacs; Andrei Voronkov; Eva Maria Wagner
2024
Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
Jan Heuer; Christoph Wernhard
2024
Regularization in Spider-Style Strategy Discovery and Schedule Construction
Filip Bartek; Karel Chvalovsky; Martin Suda
2024
Lemma Discovery and Strategies for Automated Induction
Solrun Halla Einarsdottir; Marton Hajdu; Moa Johansson; Nicholas Smallbone; Martin Suda
2024
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
Nils Lommen; Eleanore Meyer; Jurgen Giesl
2024
On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
Uwe Waldmann
2024
Model Completeness for Rational Trees
Silvio Ghilardi; Lia M. Poidomani
2024
Certifying Phase Abstraction
Nils Froleyks; Emily Yu; Armin Biere; Keijo Heljanko
2024
Verifying a Realistic Mutable Hash Table Case Study
Samuel Chassot; Viktor Kuncak
2024
Booleguru, the Propositional Polyglot
Maximilian Heisinger; Simone Heisinger; Martina Seidl
2024
Quantifier Shifting for Quantified Boolean Formulas Revisited
Simone Heisinger; Maximilian Heisinger; Adrian Rebola-Pardo; Martina Seidl
2024
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024