@ARTICLE{Weidenbach97jar,
AUTHOR = {Weidenbach, Christoph},
TITLE = {{SPASS} Version 0.49},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Kluwer},
YEAR = {1997},
NUMBER = {2},
VOLUME = {18},
PAGES = {247--252},
MONTH = {April},
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/28/1998 02:57:43 PM |
Revisions
5.
4.
3.
2.
1. | Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm | Edit Dates
05/17/99 03:01:15 PM
22.10.98 19:27:14
08.10.98 16:55:07
03/27/98 09:53:02 PM
28.01.98 15:48:33 |