Matches in Library of Congress for { <http://lccn.loc.gov/89026321> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 89026321 contributor B5869466.
- 89026321 created "c1990.".
- 89026321 date "1990".
- 89026321 date "c1990.".
- 89026321 dateCopyrighted "c1990.".
- 89026321 description "Includes bibliographical references (p. [233]-236) and index.".
- 89026321 extent "xiii, 242 p. :".
- 89026321 identifier "0387972331 (alk. paper)".
- 89026321 identifier "3540972331".
- 89026321 isPartOf "Texts and monographs in computer science".
- 89026321 issued "1990".
- 89026321 issued "c1990.".
- 89026321 language "eng".
- 89026321 publisher "New York : Springer-Verlag,".
- 89026321 subject "511.3 20".
- 89026321 subject "Automatic theorem proving.".
- 89026321 subject "Logic, Symbolic and mathematical.".
- 89026321 subject "QA76.9.A96 F68 1990".
- 89026321 title "First-order logic and automated theorem proving / Melvin Fitting.".
- 89026321 type "text".