Matches in Library of Congress for { <http://lccn.loc.gov/90010125> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 90010125 contributor B6098545.
- 90010125 contributor B6098546.
- 90010125 created "c1990.".
- 90010125 date "1990".
- 90010125 date "c1990.".
- 90010125 dateCopyrighted "c1990.".
- 90010125 description "Includes biblioigraphical references and index.".
- 90010125 extent "xvi, 688 p. :".
- 90010125 identifier "0387528857 (U.S.)".
- 90010125 isPartOf "Lecture notes in computer science ; 449. Lecture notes in artificial intelligence".
- 90010125 isPartOf "Lecture notes in computer science ; 449.".
- 90010125 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 90010125 issued "1990".
- 90010125 issued "c1990.".
- 90010125 language "eng".
- 90010125 publisher "Berlin ; New York : Springer-Verlag,".
- 90010125 subject "511.3 20".
- 90010125 subject "Automatic theorem proving Congresses.".
- 90010125 subject "Logic, Symbolic and mathematical Congresses.".
- 90010125 subject "QA76.9.A96 I57 1990".
- 90010125 title "Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 / M.E. Stickel, (ed.).".
- 90010125 type "text".