Proceedings Article, Paper @InProceedings Beitrag in Tagungsband, Workshop
BibTeX Entry: @INPROCEEDINGS{Weidenbach99cadespass, AUTHOR = {Weidenbach, Christoph and Afshordel, Bijan and Brahm, Uwe and Cohrs, Christian and Engel, Thorsten and Keen, Enno and Theobalt, Christian and Topi{\'c}, Dalibor}, EDITOR = {Ganzinger, Harald}, TITLE = {System Description: {SPASS} Version 1.0.0}, BOOKTITLE = {Proceedings of the 16th International Conference on Automated Deduction (CADE-16)}, PUBLISHER = {Springer}, YEAR = {1999}, VOLUME = {1632}, PAGES = {314--318}, SERIES = {Lecture Notes in Artificial Intelligence}, ADDRESS = {Trento, Italy}, ISBN = {3-540-66222-7}, } Entry last modified by Uwe Brahm, 05/12/2006 Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details) Editor(s) Christoph WeidenbachCreated 05/12/2006 04:46:39 PM Revisions 12. 11. 10. 9. 8.Editor(s) Uwe Brahm Uwe Brahm Uwe Brahm Uwe Brahm Uwe BrahmEdit Dates 05/04/2004 03:55:02 PM 05/04/2004 03:54:12 PM 07/24/2003 12:13:35 PM 30.03.2002 04:50:15 01/25/2001 03:40:33 PM Attachment SectionAttachment Section