OPAC Banner

Computer aided proofs in analysis

Meyer, Kenneth R.

Computer aided proofs in analysis by Kenneth R. Meyer and Dieter S. Schmidt - Springer 1990

Powered by Koha