Matches in Library of Congress for { <http://lccn.loc.gov/96011760> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 96011760 contributor B7749247.
- 96011760 created "c1996.".
- 96011760 date "1996".
- 96011760 date "c1996.".
- 96011760 dateCopyrighted "c1996.".
- 96011760 description "Includes bibliographical references (p. 195-200) and indexes.".
- 96011760 extent "xvi, 206 p. :".
- 96011760 identifier "0792340175 (hb : acid₋free paper)".
- 96011760 identifier 96011760-d.html.
- 96011760 identifier 96011760-t.html.
- 96011760 isPartOf "Automated reasoning series ; v. 4".
- 96011760 issued "1996".
- 96011760 issued "c1996.".
- 96011760 language "eng".
- 96011760 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 96011760 subject "511.3 20".
- 96011760 subject "Artificial intelligence.".
- 96011760 subject "Automatic theorem proving.".
- 96011760 subject "Logic, Symbolic and mathematical.".
- 96011760 subject "QA76.9.A96 S72 1996".
- 96011760 title "Resolution proof systems : an algebraic theory / by Zbigniew Stachniak.".
- 96011760 type "text".