DMCA

Deductive Composition of Astronomical Software from Subroutine Libraries (0)

by Mark Stickel , Richard Waldinger , Michael Lowry , Thomas Pressburger , Ian Underwood
Venue:In Proceedings 12th International Conference on Automated Deduction
Citations:79 - 6 self