Matches in Library of Congress for { <http://lccn.loc.gov/94003445> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 94003445 contributor B7161202.
- 94003445 contributor B7161203.
- 94003445 created "c1994.".
- 94003445 date "1994".
- 94003445 date "c1994.".
- 94003445 dateCopyrighted "c1994.".
- 94003445 description "Includes bibliographical references (p. [301]-304) and index.".
- 94003445 extent "xvii, 321 p. :".
- 94003445 identifier "0387582444".
- 94003445 identifier "3540582444".
- 94003445 identifier 94003445-d.html.
- 94003445 isPartOf "Lecture notes in computer science ; 828".
- 94003445 issued "1994".
- 94003445 issued "c1994.".
- 94003445 language "eng".
- 94003445 publisher "Berlin ; New York : Springer-Verlag,".
- 94003445 subject "511.3/0285/53 20".
- 94003445 subject "Automatic theorem proving.".
- 94003445 subject "Isabelle (Computer file)".
- 94003445 subject "QA76.9.A96 P38 1994".
- 94003445 title "Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Tobias Nipkow.".
- 94003445 type "text".