19. CADE 2003:
Miami Beach,
Florida,
USA
Franz Baader (Ed.):
Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings.
Lecture Notes in Computer Science 2741 Springer 2003, ISBN 3-540-40559-3 BibTeX
@proceedings{DBLP:conf/cade/2003,
editor = {Franz Baader},
title = {Automated Deduction - CADE-19, 19th International Conference
on Automated Deduction Miami Beach, FL, USA, July 28 - August
2, 2003, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2741},
year = {2003},
isbn = {3-540-40559-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7
System Descriptions
CASC-19 Results
Invited Talk
System Descriptions
Invited Talk
Session 13
Session 14
Session 15
Copyright © Sat May 16 23:00:06 2009
by Michael Ley (ley@uni-trier.de)
