Automated Deduction - CADE-19

Type: Physical Book

Language: English

Pages: 517

Release Date: 2003-07-16

ISBN 10: 3540405593

ISBN 13: 9783540405597

Country: Portugal

Data Score: 1500