Sciweavers

CADE
1994
Springer

Deductive Composition of Astronomical Software from Subroutine Libraries

14 years 4 months ago
Deductive Composition of Astronomical Software from Subroutine Libraries
Mark E. Stickel, Richard J. Waldinger, Michael R.
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where CADE
Authors Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood
Comments (0)