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

Publications Master Template, generated: 17:27, 9 December 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Enno Keen, Christian Theobalt, and Dalibor Topić
    System Description: SPASS Version 1.0.0
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, 1999, 314-318
  2. Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach
    First-Order Atom Definitions Extended
    In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havanna, Cuba, December, 3 - December, 7, 2001, 309-319
    [PS: Download:]