Proof and Computation: Proceedings of the NATO Advanced Study Institute on Proof and Computation, Held in Marktoberdorf, Germany, July 20-August 1, 1993 (Nato ASI Subseries F: (139))

von Helmut Schwichtenberg Gebunden Details (Deutschland) Details (Italien) (siehe auch: Copertina flessibile) Details (Spanien - España) (siehe auch: Tapa blanda) ISBN: 978-3-540-58581-7 ISBN-10: 3-540-58581-8 Springer · 1995