A many-sorted calculus based on resolution and paramodulation
Başlık:
A many-sorted calculus based on resolution and paramodulation
Yazar:
Walther, Christoph.
Yayın Bilgileri:
London : Pitman ; Los Altos, Calif. : Morgan Kaufmann Publishers, 1987.
Fiziksel Tanımlama:
1 online resource (160 pages) : illustrations.
Seri:
Research notes in artificial intelligence,
Research notes in artificial intelligence (London, England)