Proceedings of the 19th International Conference on Automated Deduction CADE-19

From International Center for Computational Logic
Toggle side column

Proceedings of the 19th International Conference on Automated Deduction CADE-19

Franz BaaderFranz Baader
Proceedings of the 19th International Conference on Automated Deduction CADE-19


Franz Baader
Proceedings of the 19th International Conference on Automated Deduction CADE-19
Volume 2741 of Lecture Notes in Artificial Intelligence. Springer, 2003
The final publication is available at Springer.
@book{ BaaderCADE2003,
  address = {Miami Beach, FL, USA},
  editor = {Franz {Baader}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Proceedings of the 19th International Conference on Automated Deduction {CADE-19}},
  volume = {2741},
  year = {2003},
}