Matches in Library of Congress for { <http://lccn.loc.gov/2004051866> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2004051866 created "2005.".
- 2004051866 date "2005".
- 2004051866 date "2005.".
- 2004051866 dateCopyrighted "2005.".
- 2004051866 description "Includes bibliographical references (p. 193-199) and index.".
- 2004051866 extent "xiv, 202 p. :".
- 2004051866 identifier "052183449X (hardback)".
- 2004051866 identifier 2004051866.html.
- 2004051866 identifier 2004051866.html.
- 2004051866 isPartOf "Cambridge tracts in theoretical computer science ; 56".
- 2004051866 issued "2005".
- 2004051866 issued "2005.".
- 2004051866 language "eng".
- 2004051866 publisher "Cambridge ; New York : Cambridge University Press,".
- 2004051866 subject "006.3/33 22".
- 2004051866 subject "Automatic theorem proving.".
- 2004051866 subject "Logic, Symbolic and mathematical.".
- 2004051866 subject "QA76.9.A96 B84 2005".
- 2004051866 title "Rippling : meta-level guidance for mathematical reasoning / Alan Bundy ... [et al.].".
- 2004051866 type "text".