Matches in Library of Congress for { <http://lccn.loc.gov/92036174> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 92036174 contributor B6653386.
- 92036174 contributor B6653387.
- 92036174 created "c1993.".
- 92036174 date "1993".
- 92036174 date "c1993.".
- 92036174 dateCopyrighted "c1993.".
- 92036174 description "Includes bibliographical references and index.".
- 92036174 extent "viii, 312 p. :".
- 92036174 identifier "0387198040 :".
- 92036174 identifier "3540198040 :".
- 92036174 identifier 92036174-d.html.
- 92036174 isPartOf "Workshops in computing".
- 92036174 issued "1993".
- 92036174 issued "c1993.".
- 92036174 language "eng".
- 92036174 publisher "London ; New York : Springer-Verlag,".
- 92036174 subject "005.13/1 20".
- 92036174 subject "Automatic theorem proving Congresses.".
- 92036174 subject "Larch prover Congresses.".
- 92036174 subject "QA76.9.A96 I58 1992".
- 92036174 title "First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 / Ursula Martin and Jeannette M. Wing (eds.).".
- 92036174 type "text".