1996 - Deduction Systems [Graduate Texts in Computer Science Springer-Verlag New York Inc.] (Hardcover) ISBN-13: 9780387948478 ISBN-10: 0387948473 Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores ? |
1996 - Deduction Systems [Graduate Texts in Computer Science Springer-Verlag New York Inc.] (Hardcover) ISBN-13: 9780387948478 ISBN-10: 0387948473 Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores ? |