| Original language | English |
|---|---|
| Pages (from-to) | 1403 - 1486 |
| Number of pages | 84 |
| Journal | Handbook of Automated Deduction |
| Volume | 1 |
| Publication status | Published - 2001 |
Encoding two valued non-classical logic in classical logic
D Gabbay, H Ohlbach, A Nonnengart, M de Rijke, J Alan Robinson (Editor), A Voronkov (Editor)
Research output: Contribution to journal › Article › peer-review