Matches in Library of Congress for { <http://lccn.loc.gov/2005938814> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2005938814 alternative "TYPES 2004".
- 2005938814 contributor B10404880.
- 2005938814 contributor B10404881.
- 2005938814 created "2006.".
- 2005938814 date "2006".
- 2005938814 date "2006.".
- 2005938814 dateCopyrighted "2006.".
- 2005938814 description "Includes bibliographical references and index.".
- 2005938814 extent "viii, 273 p. :".
- 2005938814 identifier "3540314288 (pbk.)".
- 2005938814 identifier "9783540314288".
- 2005938814 identifier 2005938814-d.html.
- 2005938814 isPartOf "Lecture notes in computer science, 0302-9743 ; 3839".
- 2005938814 issued "2006".
- 2005938814 issued "2006.".
- 2005938814 language "eng".
- 2005938814 publisher "Berlin ; New York : Springer,".
- 2005938814 subject "005.131 22".
- 2005938814 subject "Automatic theorem proving Congresses.".
- 2005938814 subject "Computer programming Congresses.".
- 2005938814 subject "MLCM 2006/41490 (Q)".
- 2005938814 title "TYPES 2004".
- 2005938814 title "Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.).".
- 2005938814 type "text".