Matches in Library of Congress for { <http://lccn.loc.gov/2004113833> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2004113833 alternative "ATVA 2004".
- 2004113833 contributor B9884075.
- 2004113833 contributor B9884076.
- 2004113833 created "c2004.".
- 2004113833 date "2004".
- 2004113833 date "c2004.".
- 2004113833 dateCopyrighted "c2004.".
- 2004113833 description "Includes bibliographical references and index.".
- 2004113833 extent "xii, 506 p. :".
- 2004113833 hasFormat "Also issued online.".
- 2004113833 identifier "3540236104".
- 2004113833 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3299.
- 2004113833 identifier 2004113833-d.html.
- 2004113833 identifier 2004113833.html.
- 2004113833 isFormatOf "Also issued online.".
- 2004113833 isPartOf "Lecture notes in computer science, 0302-9743 ; 3299".
- 2004113833 issued "2004".
- 2004113833 issued "c2004.".
- 2004113833 language "eng".
- 2004113833 publisher "Berlin ; New York : Springer,".
- 2004113833 relation "Also issued online.".
- 2004113833 subject "004/.01/5113 22".
- 2004113833 subject "Automatic theorem proving Congresses.".
- 2004113833 subject "QA76.9.A96 A82 2004".
- 2004113833 title "ATVA 2004".
- 2004113833 title "Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings / Farn Wang (ed.).".
- 2004113833 type "text".