@ARTICLE{LuWu1999,
AUTHOR = {Lu, Mi and Wu, Jinzhao},
TITLE = {On Theorem proving in Annotated Logics},
JOURNAL = {Journal of Applied Non-Classical Logics},
PUBLISHER = {Hermes},
YEAR = {2000},
NUMBER = {2},
VOLUME = {10},
PAGES = {121--143},
ADDRESS = {Paris, France},
MONTH = {June},
ISBN = {1166-3081},
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Jinzhao Wu | Created
02/13/1999 01:13:08 PM |
Revisions
7.
6.
5.
4.
3. | Editor(s)
Uwe Brahm
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel | Edit Dates
04/04/2001 07:36:07 PM
14.03.2001 13:44:31
14.03.2001 13:44:14
27.02.2001 04:29:02 PM
22.02.2001 09:42:53 AM |