Showing 1 - 2 results of 2 for search 'Ganzinger, Harald', query time: 0.02s Refine Results
  1. 1
    Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings /
    Published 1999
    Other Authors: “…Ganzinger, Harald…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Published 1999
    Other Authors: “…Ganzinger, Harald…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search