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

MPI-INF RG1 Publications, generated: 9:45, 18 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Christoph Weidenbach, Renate Schmidt, Thomas Hillenbrand, Rostislav Rusev, and Dalibor Topic
    System Description: Spass Version 3.0
    In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, 2007, 514-520