Matches in Library of Congress for { <http://lccn.loc.gov/82072881> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 82072881 contributor B4207016.
- 82072881 created "1983.".
- 82072881 date "1983".
- 82072881 date "1983.".
- 82072881 dateCopyrighted "1983.".
- 82072881 description "Bibliography: p. 312-317.".
- 82072881 extent "xiv, 322 p. :".
- 82072881 identifier "0121412504 (hard)".
- 82072881 identifier "0121412520 (pbk.)".
- 82072881 issued "1983".
- 82072881 issued "1983.".
- 82072881 language "eng".
- 82072881 publisher "London ; New York : Academic Press,".
- 82072881 subject "511.3 19".
- 82072881 subject "Automatic theorem proving.".
- 82072881 subject "Logic, Symbolic and mathematical.".
- 82072881 subject "Mathematics Data processing.".
- 82072881 subject "QA76.95 .B86 1983".
- 82072881 title "The computer modelling of mathematical reasoning / Alan Bundy.".
- 82072881 type "text".