A many-sorted calculus based on resolution and paramodulation
No description available.
Artificial intelligenceAutomatic theorem provingThe ore mesRedenerenBewijs (wetenschap)Kunstmatige intelligentieAutomatisches BeweisverfahrenMehrsortige Pra dikatenlogikKu nstliche IntelligenzDe monstration automatiqueIntelligence artificielle