Matches in Library of Congress for { <http://lccn.loc.gov/82243531%2F%2Fr88> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 82243531%2F%2Fr88 contributor B4350588.
- 82243531%2F%2Fr88 created "1982.".
- 82243531%2F%2Fr88 date "1982".
- 82243531%2F%2Fr88 date "1982.".
- 82243531%2F%2Fr88 dateCopyrighted "1982.".
- 82243531%2F%2Fr88 description "Bibliography: p. [277]-287.".
- 82243531%2F%2Fr88 extent "xiii, 292 p. :".
- 82243531%2F%2Fr88 identifier "3528085207 :".
- 82243531%2F%2Fr88 issued "1982".
- 82243531%2F%2Fr88 issued "1982.".
- 82243531%2F%2Fr88 language "eng".
- 82243531%2F%2Fr88 publisher "Braunschweig : F. Vieweg,".
- 82243531%2F%2Fr88 subject "511.3 19".
- 82243531%2F%2Fr88 subject "Automatic theorem proving.".
- 82243531%2F%2Fr88 subject "QA76.9.A96 B5 1982".
- 82243531%2F%2Fr88 title "Automated theorem proving / Wolfgang Bibel.".
- 82243531%2F%2Fr88 type "text".