Matches in Library of Congress for { <http://lccn.loc.gov/80018708> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 80018708 contributor B3746825.
- 80018708 contributor B3746826.
- 80018708 created "1980.".
- 80018708 date "1980".
- 80018708 date "1980.".
- 80018708 dateCopyrighted "1980.".
- 80018708 description "Includes bibliographies.".
- 80018708 extent "vii, 385 p. ;".
- 80018708 identifier "0387100091 (U.S. : pbk.)".
- 80018708 isPartOf "Lecture notes in computer science ; 87".
- 80018708 issued "1980".
- 80018708 issued "1980.".
- 80018708 language "eng".
- 80018708 publisher "Berlin ; New York : Springer-Verlag,".
- 80018708 subject "511.3".
- 80018708 subject "Automatic theorem proving Congresses.".
- 80018708 subject "Logic, Symbolic and mathematical Congresses.".
- 80018708 subject "QA76.9.A96 C66 1980".
- 80018708 title "5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski.".
- 80018708 type "text".