Matches in Library of Congress for { <http://lccn.loc.gov/2001047923> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2001047923 contributor B8953244.
- 2001047923 created "c2001.".
- 2001047923 date "2001".
- 2001047923 date "c2001.".
- 2001047923 dateCopyrighted "c2001.".
- 2001047923 description "Includes bibliographical references (p. 190-198) and index.".
- 2001047923 extent "xii, 204 p. :".
- 2001047923 identifier "1575863235 (cloth : alk. paper)".
- 2001047923 identifier "1575863243 (pbk. : alk. paper)".
- 2001047923 identifier 2001047923.html.
- 2001047923 identifier 2001047923-b.html.
- 2001047923 isPartOf "CSLI lecture notes ; no. 127".
- 2001047923 issued "2001".
- 2001047923 issued "c2001.".
- 2001047923 language "eng".
- 2001047923 publisher "Stanford, Calif. : CSLI,".
- 2001047923 subject "511.3 21".
- 2001047923 subject "Automatic theorem proving.".
- 2001047923 subject "Logic, Symbolic and mathematical.".
- 2001047923 subject "Mathematics Charts, diagrams, etc.".
- 2001047923 subject "QA90 .J33 2001".
- 2001047923 title "Mathematical reasoning with diagrams : from intuition to automation / Mateja Jamnik.".
- 2001047923 type "text".