Inproceedings3065: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Christoph Wernhard (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jana |ErsterAutorNachname=Kittelmann |FurtherAuthors=Christoph Wernhard; }} {{Inproceedings |Referiert=1 |Title…“) |
Christoph Wernhard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|ErsterAutorVorname=Jana | |ErsterAutorVorname=Jana | ||
|ErsterAutorNachname=Kittelmann | |ErsterAutorNachname=Kittelmann | ||
|FurtherAuthors=Christoph Wernhard; | |FurtherAuthors=Christoph Wernhard; | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
| Zeile 10: | Zeile 10: | ||
|Year=2016 | |Year=2016 | ||
|Booktitle=1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 | |Booktitle=1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 | ||
|Editor=Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban | |||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
Version vom 3. Januar 2016, 16:14 Uhr
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, to appear
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, to appear
- 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},
year = {2016}
}
