Filter
Sökt på: Sökresultat
Filter
1 träff
Automated Deduction -- CADE-24
häftad,
2013,
Engelska,
ISBN 9783642385735
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers …