search result

Cover von Automated Deduction
CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27 - 30, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 11716
Media group: MONOGRAPHIE
Cover von Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18 - 20, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 8152
Media group: MONOGRAPHIE
Cover von The Next Generation of Deduction Systems; 11
From Composition to Compositionality : pp. 130-150
Author: Distler, Verena Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von Symbolic Computation and Satisfiability Checking; 11
pp. 71-89
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0