search result

Cover von C++ GUI Programming with Qt4
Author: Blanchette, Jasmin; Summerfield, Mark Search for this author
Year: 2008
Publisher: Boston, Pearson Education
Media group: MONOGRAPHIE
Cover von Proof Assistants and Their Applications in Mathematics and Computer Science
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Sledgehammering Without ATPs (Short Paper)

Sledgehammering Without ATPs (Short Paper)

Year: 2025
Media group: LIPIcs
Cover von Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22 - 25, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9807
Media group: MONOGRAPHIE
Cover von Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9154
Media group: MONOGRAPHIE
Cover von Closure Properties of General Grammars – Formally Verified

Closure Properties of General Grammars – Formally Verified

Year: 2023
Media group: LIPIcs
Cover von Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8 - 10, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 13385
Media group: MONOGRAPHIE
Cover von Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

Year: 2017
Media group: LIPIcs
Cover von Seventeen Provers Under the Hammer

Seventeen Provers Under the Hammer

Year: 2022
Media group: LIPIcs
Cover von Deduction Beyond First-Order Logic; 9
pp. 26-46
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0