Matches in Library of Congress for { <http://lccn.loc.gov/84009226> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 84009226 contributor B4629722.
- 84009226 contributor B4629723.
- 84009226 contributor B4629724.
- 84009226 created "1984.".
- 84009226 date "1984".
- 84009226 date "1984.".
- 84009226 dateCopyrighted "1984.".
- 84009226 description "Includes bibliographies.".
- 84009226 extent "ix, 360 p. ;".
- 84009226 identifier "082185027X (pbk.)".
- 84009226 isPartOf "Contemporary mathematics (American Mathematical Society) ; v. 29.".
- 84009226 isPartOf "Contemporary mathematics, 0271-4132 ; v. 29".
- 84009226 issued "1984".
- 84009226 issued "1984.".
- 84009226 language "eng".
- 84009226 publisher "Providence, R.I. : American Mathematical Society,".
- 84009226 subject "511.3 19".
- 84009226 subject "Automatic theorem proving Congresses.".
- 84009226 subject "QA76.9.A96 S64 1983".
- 84009226 title "Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.".
- 84009226 type "text".