LATPub313

PublikationenPublications

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

Toggle side column

11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004

Franz BaaderFranz Baader,  A. VoronkonvA. Voronkonv

Franz Baader, A. Voronkonv
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004
Volume 3452 of Lecture Notes in Artificial Intelligence. Springer, 2005

• Details
• Bibtex

• KurzfassungAbstract
  This volume contains the papers presented at the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th International Workshop on the Implementation of Logics (organised by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (organised by Matthias Baaz).
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@book{ BaaderLPAR2004,
  address = {Montevideo, Uruguay},
  editor = {F. {Baader} and A. {Voronkonv}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning {LPAR 2004}},
  volume = {3452},
  year = {2005},
}