LATPub272

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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