|
Search the dblp DataBase
Christoph Goller:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann
SETHEO V3.2: Recent Developments - System Abstract. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:778-782 [Conf]
- Christoph Goller
Learning search-control heuristics for automated deduction systems with folding architecture networks. [Citation Graph (0, 0)][DBLP] ESANN, 1999, pp:45-50 [Conf]
- Christoph Goller, Marco Gori
Feature Extraction and Learning Vector Quantization for Data Structures. [Citation Graph (0, 0)][DBLP] IIA/SOCO, 1999, pp:- [Conf]
- Alessandro Sperduti, Antonina Starita, Christoph Goller
Learning Distributed Representations for the Classification of Terms. [Citation Graph (0, 0)][DBLP] IJCAI, 1995, pp:509-517 [Conf]
- Christoph Goller, J. Löning, T. Will, W. Wolff
Automatic Document Classification - A thorough Evaluation of various Methods. [Citation Graph (0, 0)][DBLP] ISI, 2000, pp:145-162 [Conf]
- Andreas Küchler, Christoph Goller
Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks. [Citation Graph (0, 0)][DBLP] KI, 1996, pp:183-197 [Conf]
- Reinhold Letz, Klaus Mayr, Christoph Goller
Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1994, v:13, n:3, pp:297-337 [Journal]
- Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr
SETHEO and E-SETHEO - The CADE-13 Systems. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:237-246 [Journal]
Search in 0.002secs, Finished in 0.003secs
|