Cover of A many-sorted calculus based on resolution and paramodulation

An edition of A many-sorted calculus based on resolution and paramodulation (1987)

A many-sorted calculus based on resolution and paramodulation

By Christoph Walther

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

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