Matches in Library of Congress for { <http://lccn.loc.gov/2002072769> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2002072769 contributor B9243181.
- 2002072769 created "c2002.".
- 2002072769 date "2002".
- 2002072769 date "c2002.".
- 2002072769 dateCopyrighted "c2002.".
- 2002072769 description "Includes bibliographical references (p. [365]-373) and index.".
- 2002072769 extent "xvi, 380 p. :".
- 2002072769 identifier "1852336099 (alk. paper)".
- 2002072769 identifier 2002072769-d.html.
- 2002072769 identifier 2002072769-t.html.
- 2002072769 isPartOf "CPHC/BCS distinguished dissertations.".
- 2002072769 isPartOf "Distinguished dissertations".
- 2002072769 issued "2002".
- 2002072769 issued "c2002.".
- 2002072769 language "eng".
- 2002072769 publisher "London ; New York : Springer,".
- 2002072769 subject "511.3/0285 21".
- 2002072769 subject "Artificial intelligence.".
- 2002072769 subject "Automatic theorem proving.".
- 2002072769 subject "Expert systems (Computer science)".
- 2002072769 subject "Mathematics Methodology Data processing.".
- 2002072769 subject "QA8.4 .C64 2002".
- 2002072769 title "Automated theory formation in pure mathematics / Simon Colton.".
- 2002072769 type "text".