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), 29-31, 2016

Details
Bibtex

Weitere Informationen unter:Further Information: Link
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},
  pages     = {29-31}
}