A Goal-Directed Proof Procedure for a First-Order Classical Logic
| Speaker(s) | Peter Verdée and Dagmar Provij |
|---|---|
| Date | 20 September 2010 |
| Place | Ghent, Belgium |
| Occasion | International Congress Logic, Reasoning and Rationality |
| Category | Contributed |
| Speaker(s) | Peter Verdée and Dagmar Provij |
|---|---|
| Date | 20 September 2010 |
| Place | Ghent, Belgium |
| Occasion | International Congress Logic, Reasoning and Rationality |
| Category | Contributed |