Matches in Library of Congress for { <http://lccn.loc.gov/87001443> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 87001443 contributor B5378251.
- 87001443 contributor B5378252.
- 87001443 created "[1987], c1973.".
- 87001443 date "1987".
- 87001443 date "[1987], c1973.".
- 87001443 dateCopyrighted "[1987], c1973.".
- 87001443 description "Includes bibliographical references (p. 309-324) and index.".
- 87001443 extent "xiii, 331 p. :".
- 87001443 identifier "0121703509 (alk. paper)".
- 87001443 identifier 87001443.html.
- 87001443 isPartOf "Computer science classics".
- 87001443 issued "1987".
- 87001443 issued "[1987], c1973.".
- 87001443 language "eng".
- 87001443 publisher "San Diego : Academic Press,".
- 87001443 subject "511.3 19".
- 87001443 subject "Artificial intelligence.".
- 87001443 subject "Automatic theorem proving.".
- 87001443 subject "Logic, Symbolic and mathematical.".
- 87001443 subject "QA9 .C483 1987".
- 87001443 title "Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee.".
- 87001443 type "text".