Matches in Library of Congress for { <http://lccn.loc.gov/72088358%2F%2Fr872> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 72088358%2F%2Fr872 contributor B2088407.
- 72088358%2F%2Fr872 contributor B2088408.
- 72088358%2F%2Fr872 created "[1973]".
- 72088358%2F%2Fr872 date "1973".
- 72088358%2F%2Fr872 date "[1973]".
- 72088358%2F%2Fr872 dateCopyrighted "[1973]".
- 72088358%2F%2Fr872 description "Bibliography: p. 309-324.".
- 72088358%2F%2Fr872 extent "xiii, 331 p.".
- 72088358%2F%2Fr872 isPartOf "Computer science and applied mathematics".
- 72088358%2F%2Fr872 issued "1973".
- 72088358%2F%2Fr872 issued "[1973]".
- 72088358%2F%2Fr872 language "eng".
- 72088358%2F%2Fr872 publisher "New York, Academic Press".
- 72088358%2F%2Fr872 subject "511/.3".
- 72088358%2F%2Fr872 subject "Artificial intelligence.".
- 72088358%2F%2Fr872 subject "Automatic theorem proving.".
- 72088358%2F%2Fr872 subject "Logic, Symbolic and mathematical.".
- 72088358%2F%2Fr872 subject "QA9 .C483".
- 72088358%2F%2Fr872 title "Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-Tung Lee.".
- 72088358%2F%2Fr872 type "text".