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

Publications Master Template, generated: 8:29, 20 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Hans J├╝rgen Ohlbach, Renate A. Schmidt, and Ullrich Hustadt
    Symbolic Arithmetical Reasoning with Qualified Number Restrictions
    In: Proceedings of International Workshop on Description Logics'95, Rome, Italy, June 2-3, 1995, 1995, 89-95