The RatioLog Project - Rational Extensions of Logical Reasoning.
CoRR. Bd. abs/1503.06087. 2015
Erscheinungsjahr: 2015
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Stolzenburg, Frieder (Autor)
Weis, Karl-Heinz (Autor)
Wirth, Claus-Peter (Autor)
Verknüpfte Personen
- Ulrich Furbach
- Mitarbeiter/in
(Institut für Informatik)
- Claudia Schon
- Mitarbeiter/in
(Informatik)