Matches in Library of Congress for { <http://lccn.loc.gov/2011936735> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2011936735 contributor B12421624.
- 2011936735 contributor B12421625.
- 2011936735 created "c2011.".
- 2011936735 date "2011".
- 2011936735 date "c2011.".
- 2011936735 dateCopyrighted "c2011.".
- 2011936735 description "Includes bibliographical references and author index.".
- 2011936735 extent "xiv, 532 p. :".
- 2011936735 identifier "9783642243714 (pbk. : alk. paper)".
- 2011936735 identifier "9783642243721 (ebk.)".
- 2011936735 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2011936735 isPartOf "Lecture notes in computer science, 0302-9743 ; 6996".
- 2011936735 issued "2011".
- 2011936735 issued "c2011.".
- 2011936735 language "eng".
- 2011936735 publisher "Heidelberg ; New York : Springer,".
- 2011936735 subject "Automatic theorem proving Congresses.".
- 2011936735 subject "QA76.9.A96 A82 2011".
- 2011936735 title "Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.).".
- 2011936735 type "text".