Schmidt, Renate A.
Schmidt, Renate A., 19..-....
VIAF ID: 59764187 ( Personal )
Permalink: http://viaf.org/viaf/59764187
Preferred Forms
- 100 1 _ ‡a Schmidt, Renate A
- 100 1 _ ‡a Schmidt, Renate A.
- 100 1 _ ‡a Schmidt, Renate A.
-
-
-
-
-
-
- 100 | _ ‡a Schmidt, Renate A., ‡d 19..-....
Works
Title | Sources |
---|---|
Advances in modal logic. | |
Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings | |
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings | |
CADE 22 | |
Frontiers of combining systems, (Springer) | |
Implementation of logics | |
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings | |
Second-order quantifier elimination : foundations, computational aspects and applications |