Towards Knowledge-Based Assistance for Scholarly Editing

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Towards Knowledge-Based Assistance for Scholarly Editing

Jana KittelmannJana Kittelmann,  Christoph WernhardChristoph Wernhard
Towards Knowledge-Based Assistance for Scholarly Editing


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