Automated Reasoning: Introduction and Applications/Book & Disk by Larry Wos | Menrva Books

Discover

Goodreads Alternative

StoryGraph Alternative

Book Tracking App

Reading Tracker

Company

Why Menrva Books

Help & Support

Browse

© 2026 Menrva Books

All Rights Reserved.

Privacy Policy·Terms of Use

Automated Reasoning: Introduction and Applications/Book & Disk by Larry Wos | Menrva Books

Automated Reasoning: Introduction and Applications/Book & Disk

Automated Reasoning: Introduction and Applications/Book & Disk

Larry Wos

0

0

Author Description

Page Count:
656

Publication Date:
1992-03-01

Publisher:
Mcgraw-Hill (Tx)

ISBN-10:
007911251X

ISBN-13:
9780079112514

Community Tags

Reader Comments

Share Your Thoughts

Be constructive and respectful

No comments yet. Be the first to share your thoughts!