Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 23:10, 23 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Reinhold Letz and Christoph Weidenbach
    Paradigmen und Perspektiven der automatischen Deduktion
    KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. 4: 15-19, 1998
  2. Reinhold Letz and Gernot Stenz
    Universal variables in disconnection tableaux
    In: Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, 2003, 117-133