@ARTICLE{Weidenbach1999jar,
AUTHOR = {Weidenbach, Christoph},
TITLE = {{SPASS V0.95TPTP}},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Kluwer},
YEAR = {1999},
NUMBER = {1},
VOLUME = {23},
PAGES = {21--21},
ISBN = {0168-7433},
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christoph Weidenbach | Created
01/23/2000 02:48:21 PM |
Revisions
3.
2.
1.
0.
| Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel
Christoph Weidenbach
| Edit Dates
04/29/2003 11:59:43 AM
04/29/2003 09:47:22 AM
14.09.2001 03:20:46 PM
23/01/2000 14:48:21
|