Matches in Library of Congress for { <http://lccn.loc.gov/2007937234> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2007937234 alternative "ATVA 2007".
- 2007937234 contributor B11066195.
- 2007937234 contributor B11066196.
- 2007937234 created "c2007.".
- 2007937234 date "2007".
- 2007937234 date "c2007.".
- 2007937234 dateCopyrighted "c2007.".
- 2007937234 description "Includes bibliographical references and index.".
- 2007937234 extent "xiv, 566 p. :".
- 2007937234 hasFormat "Also issued online.".
- 2007937234 identifier "3540755950 (pbk.)".
- 2007937234 identifier "9783540755951 (pbk.)".
- 2007937234 identifier 2007937234-d.html.
- 2007937234 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4762.
- 2007937234 isFormatOf "Also issued online.".
- 2007937234 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2007937234 isPartOf "Lecture notes in computer science, 0302-9743 ; 4762".
- 2007937234 issued "2007".
- 2007937234 issued "c2007.".
- 2007937234 language "eng".
- 2007937234 publisher "Berlin ; New York : Springer,".
- 2007937234 relation "Also issued online.".
- 2007937234 subject "511.3/6028563 22".
- 2007937234 subject "Automatic theorem proving Congresses.".
- 2007937234 subject "QA76.9.A96 A82 2006".
- 2007937234 title "ATVA 2007".
- 2007937234 title "Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings / Kedar S. Namjoshi ... [et al.] (eds.).".
- 2007937234 type "text".