The Programming and proof systems ATES : advanced techniques integration into efficient scientific software /

Bibliographic Details
Other Authors:	Brocard, D., Puccetti, A. (Armand), 1961-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Research reports ESPRIT. Project 1158, ATES ; vol. 1.
Subjects:	Computer programming. Automatic theorem proving. Computer software > Development.

Remote Storage