Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers


Book Informaton

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Author

Doron A. Peled; Michael Wooldridge

Series

Lecture Notes in Computer Science

Volume

5348

Year of Publication

2009

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

VII, 189

Language

en

ISBN

9783642004308, 9783642004315, 364200430X

ARI Id

1664718644791


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 2 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation