Skip to main content

Model Checking and Artificial Intelligence

0.0
Logic designSoftware engineeringComputer scienceArtificial intelligenceComputer software, verification
Browse all genres
ISBN
9783642206733

Model Checking and Artificial Intelligence is a logic design, software engineering book by Ron Meyden.

Discover Model Checking and Artificial Intelligence by Ron Meyden, logic design.

About the Author

Ron Meyden is the author of Model Checking and Artificial Intelligence. Browse their full catalog on Booklogr.

Editions & Formats

Reviews

No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.

Sign in Sign in to write a review

Frequently Asked Questions

What genre is Model Checking and Artificial Intelligence?+

Model Checking and Artificial Intelligence is a Logic design, Software engineering, Computer science, Artificial intelligence, Computer software, verification book.

Who wrote Model Checking and Artificial Intelligence?+

Model Checking and Artificial Intelligence was written by Ron Meyden.