Matches in Library of Congress for { <http://lccn.loc.gov/86008197> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 86008197 contributor B5142397.
- 86008197 contributor B5142398.
- 86008197 created "c1986.".
- 86008197 date "1986".
- 86008197 date "c1986.".
- 86008197 dateCopyrighted "c1986.".
- 86008197 description "Bibliography: p. 264-291.".
- 86008197 extent "x, 299 p. :".
- 86008197 identifier "0134518322 :".
- 86008197 issued "1986".
- 86008197 issued "c1986.".
- 86008197 language "eng".
- 86008197 publisher "Englewood Cliffs, N.J. : Prentice-Hall,".
- 86008197 subject "511.3 19".
- 86008197 subject "Automatic theorem proving.".
- 86008197 subject "Mathematics Data processing.".
- 86008197 subject "Nuprl (Computer system)".
- 86008197 subject "QA76.9.A96 I47 1986".
- 86008197 title "Implementing mathematics with the Nuprl proof development system / R.L. Constable ... [et al.] (Computer Science Department, Cornell University).".
- 86008197 type "text".