Model Checking and Artificial Intelligence
Author:   Doron A Peled ,  Michael Wooldridge
Publisher:   Springer
ISBN:  

9783642004322


Pages:   200
Publication Date:   16 April 2009
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Model Checking and Artificial Intelligence


Overview

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.

The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.

Full Product Details

Author:   Doron A Peled ,  Michael Wooldridge
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 1.10cm , Length: 15.60cm
Weight:   0.286kg
ISBN:  

9783642004322


ISBN 10:   3642004326
Pages:   200
Publication Date:   16 April 2009
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now