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:72 - 5 self