Matches in Library of Congress for { <http://lccn.loc.gov/93220910> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- 93220910 contributor B7084889.
- 93220910 created "c1992.".
- 93220910 date "1992".
- 93220910 date "c1992.".
- 93220910 dateCopyrighted "c1992.".
- 93220910 description "Includes bibliographical references (p. 110-115).".
- 93220910 extent "115 p. :".
- 93220910 identifier "3860640062".
- 93220910 issued "1992".
- 93220910 issued "c1992.".
- 93220910 language "ger".
- 93220910 publisher "Hamburg : Kovač,".
- 93220910 subject "Automatic theorem proving.".
- 93220910 subject "QA76.9.A96 S57 1992".
- 93220910 title "Analogieschlüsse beim automatischen Beweisen / Oscar Slotosch.".
- 93220910 type "text".