Isabelle a Generic Theorem Prover [Lecture Notes in Computer Science] (Paperback) → Paperback ISBN-13: 9780387582443 ISBN-10: 0387582444 Genre: Computers & Technology ? Isabelle a Generic Theorem Prover [Lecture Notes in Computer Science] (Paperback) → Paperback ISBN-13: 9783540582441 ISBN-10: 3540582444 ? Isabelle/hol a Proof Assistant for Higherorder Logic [Lecture Notes in Computer Science] (Paperback) ISBN-13: 9783540433767 ISBN-10: 3540433767 Genres: Computers & Technology, Reference, Science & Math, Medical Books ? Ml for the Working Programmer (Hardcover) → Paperback ISBN-13: 9780521390224 ISBN-10: 0521390222 Genres: Computers & Technology, Reference, Science & Math ? Ml for the Working Programmer (Paperback) → Hardcover ISBN-13: 9780521565431 ISBN-10: 052156543X Genre: Computers & Technology ? Ml for the Working Programmer [Cambridge Computer Science Texts] (Paperback) ISBN-13: 9780521422253 ISBN-10: 0521422256 Genre: Computers & Technology ? |