Interactive Theorem Proving

Type: Physical Book

Language: English

Pages: 495

Release Date: 2010-07-13

ISBN 10: 3642140521

ISBN 13: 9783642140525

Country: United States of America