Matches in Library of Congress for { <http://lccn.loc.gov/87002815> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 87002815 contributor B5379987.
- 87002815 created "1987.".
- 87002815 date "1987".
- 87002815 date "1987.".
- 87002815 dateCopyrighted "1987.".
- 87002815 description "Bibliography: p. 154-160.".
- 87002815 extent "160 p. :".
- 87002815 identifier "0934613494 (Morgan Kaufmann : pbk.) :".
- 87002815 isPartOf "Research notes in artificial intelligence (London, England)".
- 87002815 isPartOf "Research notes in artificial intelligence, 0268-7526".
- 87002815 issued "1987".
- 87002815 issued "1987.".
- 87002815 language "eng".
- 87002815 language "engger".
- 87002815 publisher "London : Pitman ; Los Altos, Calif. : Morgan Kaufmann Publishers,".
- 87002815 subject "511.3 19".
- 87002815 subject "Artificial intelligence.".
- 87002815 subject "Automatic theorem proving.".
- 87002815 subject "QA76.9.A96 W35 1987".
- 87002815 title "A many-sorted calculus based on resolution and paramodulation / Christoph Walther.".
- 87002815 type "text".