Matches in Library of Congress for { <http://lccn.loc.gov/2007932185> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2007932185 alternative "MoChArt 4".
- 2007932185 alternative "MoChArt IV".
- 2007932185 alternative "MoChArt four".
- 2007932185 contributor B11062575.
- 2007932185 contributor B11062576.
- 2007932185 created "c2007.".
- 2007932185 date "2007".
- 2007932185 date "c2007.".
- 2007932185 dateCopyrighted "c2007.".
- 2007932185 description "Includes bibliographical references and index.".
- 2007932185 extent "vi, 184 p. :".
- 2007932185 identifier "3540741275 (pbk.)".
- 2007932185 identifier "9783540741275 (pbk.)".
- 2007932185 isPartOf "Lecture notes in computer science ; 4428.".
- 2007932185 isPartOf "Lecture notes in computer science, 0302-9743 ; 4428. Lecture notes in artificial intelligence".
- 2007932185 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2007932185 issued "2007".
- 2007932185 issued "c2007.".
- 2007932185 language "eng".
- 2007932185 publisher "Berlin ; New York : Springer,".
- 2007932185 subject "006.3 22".
- 2007932185 subject "Artificial intelligence Congresses.".
- 2007932185 subject "Computer software Verification Congresses.".
- 2007932185 subject "Computer systems Verification Congresses.".
- 2007932185 subject "QA76.76.V47 M63 2007".
- 2007932185 title "MoChArt 4".
- 2007932185 title "MoChArt IV".
- 2007932185 title "MoChArt four".
- 2007932185 title "Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers / Stefan Edelkamp, Alessio Lomuscio (eds.).".
- 2007932185 type "text".