Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

by Meyden, Ron van der

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Model Checking and Artificial Intelligence / Ron van der Meyden.

Edition Statements

  • Publication Date:2011.

Publication Statements

  • Publisher(s):Springer Berlin Heidelberg
  • Place of Publication:Place of publication not identified
  • Language:eng
  • Publication Date:2011.

Notes

Title from content provider.

The Physical Object

  • Description:1 online resource

Edition Identifiers

  • ISBN:9783642206733, 3642206735
  • oclc:ocn727273924
  • LC Classification:QA76.76.V47

Subjects

artificial intelligence Artificial intelligence -- Congresses Computer software -- Congresses -- Veri… Computer software -- Verification Computer systems -- Congresses. -- Veri… Computer systems -- Verification Conference papers and proceedings

Writers

Meyden, Ron van der Smaus, Jan-Georg

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

No downloadable files are registered for this work yet.

Log in to request a copy