Matches in Library of Congress for { <http://lccn.loc.gov/94001560> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 94001560 contributor B7159088.
- 94001560 contributor B7159089.
- 94001560 created "c1994.".
- 94001560 date "1994".
- 94001560 date "c1994.".
- 94001560 dateCopyrighted "c1994.".
- 94001560 extent "ix, 517 p. :".
- 94001560 identifier "0387578269 (New York : acid-free paper)".
- 94001560 identifier "3540578269 (Berlin : acid-free paper) :".
- 94001560 identifier 94001560-d.html.
- 94001560 isPartOf "Lecture notes in computer science ; 780".
- 94001560 issued "1994".
- 94001560 issued "c1994.".
- 94001560 language "eng".
- 94001560 publisher "Berlin ; New York : Springer-Verlag,".
- 94001560 subject "004/.01/5113 20".
- 94001560 subject "Automatic theorem proving Congresses.".
- 94001560 subject "QA76.9.A96 H54 1994".
- 94001560 title "Higher order logic theorem proving and its applications : 7th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger, eds.".
- 94001560 type "text".