Matches in Library of Congress for { <http://lccn.loc.gov/00065015> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 00065015 contributor B60385.
- 00065015 contributor B60386.
- 00065015 created "c2001.".
- 00065015 date "2001".
- 00065015 date "c2001.".
- 00065015 dateCopyrighted "c2001.".
- 00065015 description "Includes bibliographical references and index.".
- 00065015 extent "xi, 270 p. :".
- 00065015 identifier "1568811454 (alk. paper)".
- 00065015 issued "2001".
- 00065015 issued "c2001.".
- 00065015 language "eng".
- 00065015 publisher "Natick, Mass. : A.K. Peters,".
- 00065015 subject "512/.0285 21".
- 00065015 subject "Algebra Data processing Congresses.".
- 00065015 subject "Automatic theorem proving Congresses.".
- 00065015 subject "QA155.7.E4 C35 2000".
- 00065015 title "Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / edited by Manfred Kerber and Michael Kohlhase.".
- 00065015 type "text".