Matches in Library of Congress for { <http://lccn.loc.gov/97018876> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 97018876 contributor B8045521.
- 97018876 contributor B8045522.
- 97018876 created "c1997.".
- 97018876 date "1997".
- 97018876 date "c1997.".
- 97018876 dateCopyrighted "c1997.".
- 97018876 description "Includes bibliographical references (p. 407-413) and index.".
- 97018876 extent "xv, 424 p. :".
- 97018876 identifier "0792345932 (alk. paper)".
- 97018876 isPartOf "Applied logic series ; v. 6".
- 97018876 issued "1997".
- 97018876 issued "c1997.".
- 97018876 language "eng".
- 97018876 publisher "Dordrecht ; Boston : Kluwer Academic,".
- 97018876 subject "511.3 21".
- 97018876 subject "Automatic theorem proving.".
- 97018876 subject "Proof theory.".
- 97018876 subject "QA9.54 .G68 1997".
- 97018876 title "Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie.".
- 97018876 type "text".