Showing 1 - 5 results of 5 for search 'Schmidt, Renate A.', query time: 0.03s Refine Results
  1. 1
    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 29–September 2, 2006. Proceedings /
    Published 2006
    Other Authors: “…Schmidt, Renate A.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
    Published 2009
    Other Authors: “…Schmidt, Renate A.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
    Published 2017
    Other Authors: “…Schmidt, Renate A.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
    Published 2013
    Other Authors: “…Schmidt, Renate A.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures /
    Published 2009
    Other Authors: “…Schmidt, Renate A.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search