Matches in Library of Congress for { <http://lccn.loc.gov/95045225> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 95045225 contributor B7492524.
- 95045225 created "c1996.".
- 95045225 date "1996".
- 95045225 date "c1996.".
- 95045225 dateCopyrighted "c1996.".
- 95045225 description "Includes bibliographical references (p. [315]-318) and index.".
- 95045225 extent "xvi, 326 p. :".
- 95045225 identifier "0387945938 (New York : hardcover : alk. paper)".
- 95045225 isPartOf "Graduate texts in computer science (Springer-Verlag New York Inc.)".
- 95045225 isPartOf "Graduate texts in computer science".
- 95045225 issued "1996".
- 95045225 issued "c1996.".
- 95045225 language "eng".
- 95045225 publisher "New York : Springer,".
- 95045225 subject "511.3 20".
- 95045225 subject "Automatic theorem proving.".
- 95045225 subject "Logic, Symbolic and mathematical.".
- 95045225 subject "QA76.9.A96 F68 1996".
- 95045225 title "First-order logic and automated theorem proving / Melvin Fitting.".
- 95045225 type "text".