Inproceedings3065

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Towards Knowledge-Based Assistance for Scholarly Editing

Jana KittelmannJana Kittelmann,  Christoph WernhardChristoph Wernhard

Jana Kittelmann, Christoph Wernhard
Towards Knowledge-Based Assistance for Scholarly Editing
In Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds., 1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 (Book of Abstracts), to appear

• Details
• Bibtex

• Projekt:Project: SOA-VBQP
• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{KW2016,
  author    = {Jana Kittelmann and Christoph Wernhard},
  title     = {Towards Knowledge-Based Assistance for Scholarly Editing},
  editor    = {Thomas C. Hales and Cezary Kaliszyk and Stephan Schulz and Josef
               Urban},
  booktitle = {1st Conference on Artificial Intelligence and Theorem Proving,
               {AITP} 2016 (Book of Abstracts)},
  year      = {2016}
}