P. Gribomont

P.G.

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software978-3-54O-54188-2
(3-54O-54188-8)
1991D. Brocard · P. Gagert

P. Grieffenhagen