search result

Cover von Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15943
Media group: MONOGRAPHIE
Cover von A Modular Formalization of Superposition in Isabelle/HOL

A Modular Formalization of Superposition in Isabelle/HOL

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0