Matches in Library of Congress for { <http://lccn.loc.gov/86017726> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 86017726 alternative "Eighth International Conference on Automated Deduction.".
- 86017726 contributor B5154232.
- 86017726 contributor B5154233.
- 86017726 created "c1986.".
- 86017726 date "1986".
- 86017726 date "c1986.".
- 86017726 dateCopyrighted "c1986.".
- 86017726 description "Includes bibliographies.".
- 86017726 extent "ix, 708 p. :".
- 86017726 identifier "0387167803 (U.S. : pbk.)".
- 86017726 isPartOf "Lecture notes in computer science ; 230".
- 86017726 issued "1986".
- 86017726 issued "c1986.".
- 86017726 language "eng".
- 86017726 publisher "Berlin ; New York : Springer-Verlag,".
- 86017726 subject "511.3 19".
- 86017726 subject "Automatic theorem proving Congresses.".
- 86017726 subject "Logic, Symbolic and mathematical Congresses.".
- 86017726 subject "QA76.9.A96 I57 1986".
- 86017726 title "8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann.".
- 86017726 type "text".