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

Publications Master Template, generated: 12:53, 7 December 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. David A. Basin and Toby Walsh
    Difference Unification
    In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France, 1993, 116-122. Note: Also available as Research Report MPI-I-92-247
  2. Christoph Weidenbach
    Extending the Resolution Method with Sorts
    In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), Chambery, France, 1993, 60-65
  3. Andreas Nonnengart
    First-Order Modal Logic Theorem Proving and Functional Simulation
    In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), Chambery, France, August,28 - September,03, 1993, 80-85