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

MPI-INF D4 Publications, generated: 16:17, 16 July 2020

Search the publication database

  . Return

Your search returned the following document:

  1. Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Enno Keen, Christian Theobalt, and Dalibor Topic
    System Description: SPASS Version 1.0.0
    In: Automated deduction (CADE-16) : 16th international conference on automated deduction, Trento, Italy, 1999, 378-382