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;