Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540615113 ISBN 13: 9783540615118
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 119,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 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 FLoC 96.The volume presents 46 revised regular papers selected from a to.