Translated title of the contribution | An experiment in approximating first order logic proof procedures. |
---|---|
Original language | English |
Publisher | University of Bristol |
Number of pages | 14 |
Publication status | Published - 1994 |
An experiment in approximating first order logic proof procedures.
DA De Waal, JP Gallagher
Research output: Working paper