Matches in Library of Congress for { <http://lccn.loc.gov/79051693%2F%2Fr943> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 79051693%2F%2Fr943 contributor B3521536.
- 79051693%2F%2Fr943 contributor B3521537.
- 79051693%2F%2Fr943 created "c1979.".
- 79051693%2F%2Fr943 date "1979".
- 79051693%2F%2Fr943 date "c1979.".
- 79051693%2F%2Fr943 dateCopyrighted "c1979.".
- 79051693%2F%2Fr943 description "Bibliography: p. 385-387.".
- 79051693%2F%2Fr943 extent "xiv, 397 p. ;".
- 79051693%2F%2Fr943 identifier "0121229505".
- 79051693%2F%2Fr943 isPartOf "ACM monograph series".
- 79051693%2F%2Fr943 isPartOf "ACM monograph series.".
- 79051693%2F%2Fr943 issued "1979".
- 79051693%2F%2Fr943 issued "c1979.".
- 79051693%2F%2Fr943 language "eng".
- 79051693%2F%2Fr943 publisher "New York : Academic Press,".
- 79051693%2F%2Fr943 subject "519.4".
- 79051693%2F%2Fr943 subject "Automatic theorem proving.".
- 79051693%2F%2Fr943 subject "QA76.9.A96 B68".
- 79051693%2F%2Fr943 title "A computational logic / Robert S. Boyer and J Strother Moore.".
- 79051693%2F%2Fr943 type "text".