Matches in Library of Congress for { <http://lccn.loc.gov/96026660> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 96026660 contributor B7766449.
- 96026660 contributor B7766450.
- 96026660 created "c1996.".
- 96026660 date "1996".
- 96026660 date "c1996.".
- 96026660 dateCopyrighted "c1996.".
- 96026660 description "Includes bibliographical references (p. [219]-223) and index.".
- 96026660 extent "ix, 231 p. :".
- 96026660 identifier "3540613986 (Berlin : acid-free paper)".
- 96026660 identifier 96026660-d.html.
- 96026660 isPartOf "Lecture notes in computer science ; 1095. Lecture notes in artificial intelligence".
- 96026660 isPartOf "Lecture notes in computer science ; 1095.".
- 96026660 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 96026660 issued "1996".
- 96026660 issued "c1996.".
- 96026660 language "eng".
- 96026660 publisher "Berlin ; New York : Springer,".
- 96026660 subject "516.3/52/028553 20".
- 96026660 subject "Automatic theorem proving.".
- 96026660 subject "Curves, Algebraic.".
- 96026660 subject "QA76.9.A96 M38 1996".
- 96026660 title "Automated deduction in equational logic and cubic curves / W. McCune, R. Padmanabhan.".
- 96026660 type "text".