Automated Deduction – CADE 27

Type: Physical Book

Language: English

Pages: 582

Release Date: 2019-08-20

ISBN 10: 3030294366

ISBN 13: 9783030294366

Country: United States of America