Matches in Library of Congress for { <http://lccn.loc.gov/82005948> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 82005948 alternative "Sixth Conference on Automated Deduction, New York, USA, June 7-9, 1982.".
- 82005948 contributor B4172318.
- 82005948 contributor B4172319.
- 82005948 created "1982.".
- 82005948 date "1982".
- 82005948 date "1982.".
- 82005948 dateCopyrighted "1982.".
- 82005948 description "Includes bibliographical references.".
- 82005948 extent "vii, 389 p. ;".
- 82005948 identifier "0387115587 (U.S.)".
- 82005948 isPartOf "Lecture notes in computer science ; 138".
- 82005948 issued "1982".
- 82005948 issued "1982.".
- 82005948 language "eng".
- 82005948 publisher "Berlin ; New York : Springer-Verlag,".
- 82005948 subject "511.3 19".
- 82005948 subject "Automatic theorem proving Congresses.".
- 82005948 subject "Logic, Symbolic and mathematical Congresses.".
- 82005948 subject "QA76.9.A96 C66 1982".
- 82005948 title "6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 / edited by D.W. Loveland.".
- 82005948 type "text".