Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited P

indgår i serie Lecture Notes in Computer Science


Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited P
Format:
Bog, hæftet
Udgivelsesdato:
01-05-2011
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.

Vis mereVis mindre

ISBN13:
9783642206733
Vægt:
213 g
Dybde:
8 mm
Bredde:
156 mm
Højde:
234 mm
Forlag:
Springer
Format:
Hæftet
  • Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited P

    indgår i serie Lecture Notes in Computer Science

    • Leveringstid 4-6 hverdage
    • Forventet levering 01-08-2019

    på lager

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo

    Du har nu adgang til din konto hos Saxo, og kan se alle oplysninger om dit medlemskab, dine
    ordrer og din digitale boghylde under "Mit Saxo".

    Som tak for, at du har aktiveret dit medlemskab, har vi valgt at give dig fri læsning hele
    sommeren. Dvs. at du frit kan tilgå de mere en 50.000 bøger i Saxos app, samt købe bøger til
    vores altid lave medlemspris og fri fragt her på Saxo.com hele juli. Din næste medlemsbetaling
    vil først falde i august.

    Vi glæder os meget til at byde dig velkommen i vores univers, og håber at du kommer godt i
    gang med Saxo Premium.

    God sommer og god læselyst!

    Med venlig hilsen Saxo

    Kom i gang nu!