Coverart for item
The Resource Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers, Doron A. Peled, Michael J. Wooldrige (eds.), (electronic resource)

Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers, Doron A. Peled, Michael J. Wooldrige (eds.), (electronic resource)

Label
Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers
Title
Model Checking and Artificial Intelligence
Title remainder
5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers
Statement of responsibility
Doron A. Peled, Michael J. Wooldrige (eds.)
Title variation
  • MoChArt 5
  • MoChArt five
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
ZCU
Dewey number
006.3
LC call number
QA76.76.V47
LC item number
M63 2008
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
MoChArt 2008
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Peled, Doron A.
  • Wooldrige, Michael J
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
5348.
http://library.link/vocab/subjectName
  • Computer systems
  • Computer software
  • Artificial intelligence
  • Künstliche Intelligenz
  • Model Checking
Label
Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers, Doron A. Peled, Michael J. Wooldrige (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318967
Dimensions
unknown
Isbn
9783642004308
Isbn Type
(acid-free paper)
Lccn
2009921993
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318967
Label
Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers, Doron A. Peled, Michael J. Wooldrige (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318967
Dimensions
unknown
Isbn
9783642004308
Isbn Type
(acid-free paper)
Lccn
2009921993
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318967

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...