Proceedings Article, Paper @InProceedings Beitrag in Tagungsband, Workshop
BibTeX Entry: @INPROCEEDINGS{HL02-CADE18, AUTHOR = {Hillenbrand, Thomas and L{\"o}chner, Bernd}, EDITOR = {Voronkov, Andrei}, TITLE = {The Next {WALDMEISTER} Loop}, BOOKTITLE = {Automated deduction, CADE-18 : 18th International Conference on Automated Deduction}, PUBLISHER = {Springer}, YEAR = {2002}, VOLUME = {2392}, PAGES = {486--500}, SERIES = {Lecture Notes in Artificial Intelligence}, ADDRESS = {Copenhagen, Denmark}, ISBN = {3-540-43931-5}, } Entry last modified by Christine Kiesel, 03/20/2007 Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details) Editor(s) Thomas HillenbrandCreated 03/20/2007 10:17:16 AM Revisions 10. 9. 8. 7. 6.Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel Christine KieselEdit Dates 01.09.2003 17:24:59 01.09.2003 14:20:53 29.07.2003 14:38:29 07.07.2003 15:27:28 06/09/2003 12:43:16 AM Attachment SectionAttachment Section wmloop.ps