Matches in Library of Congress for { <http://lccn.loc.gov/96021726> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 96021726 alternative "Journal of automated reasoning.".
- 96021726 contributor B7760814.
- 96021726 created "c1996.".
- 96021726 date "1996".
- 96021726 date "c1996.".
- 96021726 dateCopyrighted "c1996.".
- 96021726 description "Includes bibliographical references.".
- 96021726 extent "222 p. :".
- 96021726 identifier "0792340108 (hardbound : alk. paper)".
- 96021726 identifier 96021726-d.html.
- 96021726 identifier 96021726-t.html.
- 96021726 issued "1996".
- 96021726 issued "c1996.".
- 96021726 language "eng".
- 96021726 publisher "Dordrecht ; Boston : Kluwer Academic,".
- 96021726 subject "511/.22 20".
- 96021726 subject "Automatic theorem proving.".
- 96021726 subject "Induction (Mathematics)".
- 96021726 subject "QA76.9.A96 A86 1996".
- 96021726 title "Automated mathematical induction / edited by H. Zhang.".
- 96021726 type "text".