DaftarIsitemplate

Call Number

511.3 Wal m

Title

A many-sorted calculus based on resolution and paramodulation

Author

Walther, Christoph;

Publisher

London: Morgan Kaufmann, 1987

Subject

Artificial intelligence; Reasoning

Location

FASILKOM-UI;