Title: A many-sorted calculus based on resolution and paramodulation
Subjects: Artificial intelligence, Automatic theorem proving, The ore  mes, Redeneren, Bewijs (wetenschap), Kunstmatige intelligentie, Automatisches Beweisverfahren, Mehrsortige Pra dikatenlogik, Ku nstliche Intelligenz, De monstration automatique, Intelligence artificielle