Filter
Sökt på: Sökresultat
Filter
1 träff
Automated Deduction - Cade-13
häftad,
1996,
Engelska,
ISBN 9783540615118
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of …