Interactive Theorem Proving

Type: Physical Book

Language: English

Pages: 642

Release Date: 2018-07-03

ISBN 10: 3319948210

ISBN 13: 9783319948218

Country: United States of America

Data Score: 1550