Matches in Library of Congress for { <http://lccn.loc.gov/85014071%2F%2Fr87> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 85014071%2F%2Fr87 contributor B4881148.
- 85014071%2F%2Fr87 created "c1986.".
- 85014071%2F%2Fr87 date "1986".
- 85014071%2F%2Fr87 date "c1986.".
- 85014071%2F%2Fr87 dateCopyrighted "c1986.".
- 85014071%2F%2Fr87 description "Includes bibliographies and indexes.".
- 85014071%2F%2Fr87 extent "xv, 511 p. ;".
- 85014071%2F%2Fr87 identifier "0060422254".
- 85014071%2F%2Fr87 isPartOf "Harper & Row computer science and technology series".
- 85014071%2F%2Fr87 issued "1986".
- 85014071%2F%2Fr87 issued "c1986.".
- 85014071%2F%2Fr87 language "eng".
- 85014071%2F%2Fr87 publisher "New York, NY : Harper & Row,".
- 85014071%2F%2Fr87 subject "511.3 19".
- 85014071%2F%2Fr87 subject "Automatic theorem proving.".
- 85014071%2F%2Fr87 subject "Logic, Symbolic and mathematical.".
- 85014071%2F%2Fr87 subject "QA76.9.A96 G35 1986".
- 85014071%2F%2Fr87 title "Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.".
- 85014071%2F%2Fr87 type "text".