Matches in Library of Congress for { <http://lccn.loc.gov/95001923> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 95001923 contributor B7445179.
- 95001923 created "c1995.".
- 95001923 date "1995".
- 95001923 date "c1995.".
- 95001923 dateCopyrighted "c1995.".
- 95001923 description "Includes bibliographical references and index.".
- 95001923 extent "xi, 223 p. ;".
- 95001923 identifier "0387826009 (New York : acid-free paper)".
- 95001923 identifier "3211826009 (Wien : acid-free paper)".
- 95001923 identifier 95001923-d.html.
- 95001923 isPartOf "Texts and monographs in symbolic computation, 0943-853X".
- 95001923 issued "1995".
- 95001923 issued "c1995.".
- 95001923 language "eng".
- 95001923 publisher "Wien ; New York : Springer-Verlag,".
- 95001923 subject "005.13/1 20".
- 95001923 subject "Automatic theorem proving.".
- 95001923 subject "Practical reason.".
- 95001923 subject "QA76.9.A96 A9 1995".
- 95001923 subject "Reasoning.".
- 95001923 title "Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham.".
- 95001923 type "text".