@ARTICLE{BrinkGabbayOhlbach94,
AUTHOR = {Brink, Chris and Gabbay, Dov M. and Ohlbach, Hans J{\"u}rgen},
TITLE = {Towards Automating Duality},
JOURNAL = {Journal of Computers and Mathematics with Applications},
YEAR = {1994},
NUMBER = {2},
VOLUME = {29},
PAGES = {73--90},
NOTE = {Special Issue on Automated Reasoning. Also available as Research Report MPI-I-93-220, Saarbrücken},
}
Entry last modified by Christine Kiesel/AG2/MPII/DE, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Hans Jürgen Ohlbach | Created
02/06/1995 05:56:20 PM |
Revisions
9.
8.
7.
6.
5. | Editor(s)
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE | Edit Dates
24/02/95 10:27:34
24/02/95 10:17:41
17/02/95 16:10:23
10/02/95 17:19:39
09/02/95 11:33:13 |