Matches in Library of Congress for { <http://lccn.loc.gov/2004103364> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2004103364 contributor B9875585.
- 2004103364 contributor B9875586.
- 2004103364 created "c2004.".
- 2004103364 date "2004".
- 2004103364 date "c2004.".
- 2004103364 dateCopyrighted "c2004.".
- 2004103364 description "Includes bibliographical references (p. [453]-457) and index.".
- 2004103364 extent "xxv, 469 p. :".
- 2004103364 identifier "3540208542 (hd. bd.)".
- 2004103364 identifier 2004103364-d.html.
- 2004103364 identifier 2004103364-t.html.
- 2004103364 isPartOf "Texts in theoretical computer science".
- 2004103364 issued "2004".
- 2004103364 issued "c2004.".
- 2004103364 language "eng".
- 2004103364 publisher "Berlin ; New York : Springer,".
- 2004103364 subject "004/.015113 22".
- 2004103364 subject "Automatic theorem proving.".
- 2004103364 subject "Computer programming.".
- 2004103364 subject "QA76.9.A96 B47 2004".
- 2004103364 title "Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring.".
- 2004103364 type "text".