O'Hearn, PW and Stachniak, Z (1992) Resolution Framework for Finitely-Valued First-Order Logics. J. Symb. Comput. , 13 , Article 3. 10.1016/S0747-7171(10)80002-1.
Full text not available from this repository.
| Type: | Article |
|---|---|
| Title: | Resolution Framework for Finitely-Valued First-Order Logics. |
| DOI: | 10.1016/S0747-7171(10)80002-1 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record