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

Publications Master Template, generated: 23:58, 15 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Viorica Sofronie-Stokkermans
    Automated theorem proving by resolution in non-classical logics
    In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), Metz, France, September 3-6, 2003, 2003, 151-167. Note: Invited paper
    [PS: Download: jim-03-sofronie.ps.gz]