Matches in Library of Congress for { <http://lccn.loc.gov/94140201> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 94140201 contributor B7272891.
- 94140201 created "1993.".
- 94140201 date "1993".
- 94140201 date "1993.".
- 94140201 dateCopyrighted "1993.".
- 94140201 description "Includes bibliographical references (p. [441]-443) and index.".
- 94140201 extent "xx, 472 p. :".
- 94140201 identifier "0521441897 (spiral) :".
- 94140201 identifier 94140201.html.
- 94140201 identifier 94140201.html.
- 94140201 issued "1993".
- 94140201 issued "1993.".
- 94140201 language "eng".
- 94140201 publisher "Cambridge ; New York : Cambridge University Press,".
- 94140201 subject "511.3/0285/53 20".
- 94140201 subject "Automatic theorem proving.".
- 94140201 subject "HOL (Computer file)".
- 94140201 subject "ML (Computer program language)".
- 94140201 subject "QA76.9.A96 I6 1993".
- 94140201 title "Introduction to HOL : a theorem proving environment for higher order logic / edited by M.J.C. Gordon and T.F. Melham.".
- 94140201 type "text".