Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001151344/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b1341536.
- catalog contributor b1341537.
- catalog contributor b1341538.
- catalog contributor b1341539.
- catalog created "1984.".
- catalog date "1984".
- catalog date "1984.".
- catalog dateCopyrighted "1984.".
- catalog description "Includes bibliographies.".
- catalog extent "ix, 360 p. ;".
- catalog identifier "082185027X (pbk.)".
- catalog isPartOf "Contemporary mathematics (American Mathematical Society) ; v. 29.".
- catalog isPartOf "Contemporary mathematics, 0271-4132 ; v. 29".
- catalog issued "1984".
- catalog issued "1984.".
- catalog language "eng".
- catalog publisher "Providence, R.I. : American Mathematical Society,".
- catalog subject "511.3 19".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "QA76.9.A96 S64 1983".
- catalog title "Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.".
- catalog type "text".