Matches in Library of Congress for { <http://lccn.loc.gov/2002020906> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2002020906 contributor B9213686.
- 2002020906 contributor B9213687.
- 2002020906 created "c2002.".
- 2002020906 date "2002".
- 2002020906 date "c2002.".
- 2002020906 dateCopyrighted "c2002.".
- 2002020906 description "Includes bibliographical references (p. [209]-211) and index.".
- 2002020906 extent "xiii, 218 p. :".
- 2002020906 identifier "3540433767 (softcover : alk. paper)".
- 2002020906 identifier 2002020906-d.html.
- 2002020906 isPartOf "Lecture notes in computer science ; 2283".
- 2002020906 issued "2002".
- 2002020906 issued "c2002.".
- 2002020906 language "eng".
- 2002020906 publisher "Berlin ; New York : Springer,".
- 2002020906 subject "004.01/5113 21".
- 2002020906 subject "Automatic theorem proving.".
- 2002020906 subject "Computer logic.".
- 2002020906 subject "QA76.9.L63 N55 2002".
- 2002020906 title "Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.".
- 2002020906 type "text".