2006 - Proof Technology and Computation Volume 200 Nato Science Series Computer and Systems Sciences (Hardcover) ISBN-13: 9781586036256 ISBN-10: 1586036254 ? |
2006 - Proof Technology and Computation Volume 200 Nato Science Series Computer and Systems Sciences (Hardcover) ISBN-13: 9781586036256 ISBN-10: 1586036254 ? |