Matches in Library of Congress for { <http://lccn.loc.gov/92233281> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 92233281 alternative "First order calculi.".
- 92233281 contributor B6819363.
- 92233281 created "c1992.".
- 92233281 date "1992".
- 92233281 date "c1992.".
- 92233281 dateCopyrighted "c1992.".
- 92233281 description "Includes bibliographical references (p. [162]-167) and index.".
- 92233281 extent "173 p. :".
- 92233281 isPartOf "Artificial intelligence (Braunschweig, Germany)".
- 92233281 isPartOf "Artificial intelligence = Künstliche Intelligenz, 0940-0699".
- 92233281 issued "1992".
- 92233281 issued "c1992.".
- 92233281 language "eng".
- 92233281 publisher "Braunschweig/Wiesbaden : Vieweg,".
- 92233281 subject "511.3 20".
- 92233281 subject "Artificial intelligence.".
- 92233281 subject "Automatic theorem proving.".
- 92233281 subject "QA76.9.A96 E33 1992".
- 92233281 title "Relative complexities of first order calculi / Elmar Eder.".
- 92233281 type "text".