Top 62 murat ates PDF Book Page 3

book image

The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software

Armand Puccetti (auth.), Armand Puccetti (eds.)
·349 Pages
·1991
·8.304 MB

book image

Convex Analysis and Its Applications: Proceedings of a Conference Held at Murat-le-Quaire, March 1976

Marc Atteia, Jacques Audounet (auth.), Alfred Auslender (eds.)
·225 Pages
·1977
·3.068 MB