2000 - Computeraided Reasoning an Approach [Advances in Formal Methods] (Hardcover) ISBN-13: 9780792377443 ISBN-10: 0792377443 Genres: Computers & Technology, Science & Math ? 1997 - Computational Logic Handbook [Academic Press International Series in Formal Methods] (Hardcover) ISBN-13: 9780121229559 ISBN-10: 0121229556 Genres: Science & Math, Engineering & Transportation ? 1996 - Piton a Mechanically Verified Assemblylevel Language [Automated Reasoning Series] (Hardcover) ISBN-13: 9780792339205 ISBN-10: 0792339207 Genres: Computers & Technology, Science & Math ? 1975 - Introduction to Abstract Algebra (Hardcover) ISBN-13: 9780125057509 ISBN-10: 0125057504 Genre: Science & Math ? The Computational Logic Handbook [Perspectives in Computing, Vol 23] (Hardcover) ISBN-13: 9780121229528 ISBN-10: 0121229521 Genres: Computers & Technology, Nonfiction, Science & Math, Engineering & Transportation ? |