@ARTICLE{Sofronie-Stokkermans-dam-06,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Automated theorem proving by resolution in non-classic logics},
JOURNAL = {Discrete Applied Mathematics},
PUBLISHER = {Elsevier},
YEAR = {2007},
NUMBER = {?},
VOLUME = {?},
PAGES = {?},
ISBN = {0166-218X},
NOTE = {To appear, probably in 2007.},
}
Entry last modified by Viorica Sofronie-Stokkermans, 11/09/2006
Edit History (please click the blue arrow to see the details)
| Editor(s)
Viorica Sofronie-Stokkermans | Created
07/12/2006 01:06:12 PM |
Revisions
3.
2.
1.
0.
| Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
| Edit Dates
11/09/2006 04:32:38 PM
07/20/2006 12:45:18 PM
07/12/2006 01:07:36 PM
07/12/2006 01:06:12 PM
|