Matches in Library of Congress for { <http://lccn.loc.gov/2009921993> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- 2009921993 alternative "MoChArt 5".
- 2009921993 alternative "MoChArt five".
- 2009921993 contributor B11721803.
- 2009921993 contributor B11721804.
- 2009921993 created "c2009.".
- 2009921993 date "2009".
- 2009921993 date "c2009.".
- 2009921993 dateCopyrighted "c2009.".
- 2009921993 description "Includes bibliographical references and index.".
- 2009921993 extent "188 p. :".
- 2009921993 identifier "364200430X".
- 2009921993 identifier "9783642004308 (acid-free paper)".
- 2009921993 identifier F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2009921993 identifier 04.
- 2009921993 identifier 2009921993-d.html.
- 2009921993 isPartOf "Lecture notes in computer science ; 5348.".
- 2009921993 isPartOf "Lecture notes in computer science, 0302-9743 ; 5348. Lecture notes in artificial intelligence".
- 2009921993 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2009921993 issued "2009".
- 2009921993 issued "c2009.".
- 2009921993 language "eng".
- 2009921993 publisher "Berlin ; New York : Springer,".
- 2009921993 spatial "Patras <2008>".
- 2009921993 subject "006.3 23".
- 2009921993 subject "Artificial intelligence Congresses.".
- 2009921993 subject "Computer software Verification Congresses.".
- 2009921993 subject "Computer systems Verification Congresses.".
- 2009921993 subject "Künstliche Intelligenz Model Checking Kongress Patras <2008>".
- 2009921993 subject "Model Checking. swd".
- 2009921993 subject "QA76.76.V47 M63 2008".
- 2009921993 title "MoChArt 5".
- 2009921993 title "MoChArt five".
- 2009921993 title "Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldrige (eds.).".
- 2009921993 type "Kongress. swd".
- 2009921993 type "text".