An edition of A many-sorted calculus based on resolution and paramodulation (1987)
By Christoph Walther
Publish Date
1987
Publisher
Pitman,Morgan Kaufmann Publishers
Language
eng
Pages
160
Description:
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