DMCA

A New Methodology for Developing Deduction Methods

by Renate A. Schmidt
Venue:ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Citations:1 - 0 self