Matches in Library of Congress for { <http://lccn.loc.gov/89019907> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 89019907 alternative "Deduktionssysteme. English.".
- 89019907 contributor B5862252.
- 89019907 created "1989.".
- 89019907 date "1989".
- 89019907 date "1989.".
- 89019907 dateCopyrighted "1989.".
- 89019907 description "Includes bibliographical references and index.".
- 89019907 extent "238 p. :".
- 89019907 identifier "047021550X (Halsted Press)".
- 89019907 isPartOf "Ellis Horwood series in artificial intelligence".
- 89019907 issued "1989".
- 89019907 issued "1989.".
- 89019907 language "eng ger".
- 89019907 language "eng".
- 89019907 publisher "Chichester : Ellis Horwood ; New York : Halsted Press,".
- 89019907 subject "511.3 20".
- 89019907 subject "Artificial intelligence.".
- 89019907 subject "Automatic theorem proving.".
- 89019907 subject "QA76.9.A96 D4313 1989".
- 89019907 title "Deduction systems in artificial intelligence / editors Karl Hans Bläsius, Hans-Jürgen Bürckert.".
- 89019907 type "text".