Cover von Model Checking and Artificial Intelligence opens in new tab

Model Checking and Artificial Intelligence

6th International Workshop, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 6572
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNAI 6572 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Workshop on Model Checking and Artificial Intelligence <6, 2010, Atlanta>

Details

Search for this author
Year: 2011
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-20673-3
ISBN (2nd): 3-642-20673-5
Description: VII, 129 S.
Series: Lecture notes in artificial intelligence; 6572
Participating parties: Search for this character Meyden, Ron van der; Smaus, Jan-Georg
Parallel title: MoChArt 2010
Media group: MONOGRAPHIE