Matches in Library of Congress for { <http://lccn.loc.gov/2012946628> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2012946628 contributor B12703735.
- 2012946628 contributor B12703736.
- 2012946628 created "c2012.".
- 2012946628 date "2012".
- 2012946628 date "c2012.".
- 2012946628 dateCopyrighted "c2012.".
- 2012946628 description "Includes bibliographical references and author index.".
- 2012946628 extent "xiv, 436 p. :".
- 2012946628 identifier "3642333850 (pbk. : alk. paper)".
- 2012946628 identifier "9783642333859 (pbk. : alk. paper)".
- 2012946628 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2012946628 isPartOf "Lecture notes in computer science ; 7561.".
- 2012946628 issued "2012".
- 2012946628 issued "c2012.".
- 2012946628 language "eng".
- 2012946628 publisher "Berlin ; New York : Springer,".
- 2012946628 subject "006.3 23".
- 2012946628 subject "Artificial intelligence Congresses.".
- 2012946628 subject "Automatic theorem proving Congresses.".
- 2012946628 subject "QA76.9.A96 A82 2012".
- 2012946628 title "Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / Supratik Chakraborty, Madhavan Mukund (eds.).".
- 2012946628 type "text".