13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Buch | Softcover
1996
|
Auflage:
1
|
Springer Berlin
ISBN: 9783540615118
CHF 149,75 (inkl. MwSt)
in den Warenkorb
- Versand in
10-14 Tagen