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

Franz BaaderFranz Baader

Franz Baader
Proceedings of the 19th International Conference on Automated Deduction CADE-19
Volume 2741 of Lecture Notes in Artificial Intelligence. Springer, 2003

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

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},
}