SciDok - Der Wissenschaftsserver der Universität des Saarlandes Collection home page

Subscribe to this collection to receive daily e-mail notification of new additions
Collection's Items (Sorted by Year of Publication in Descending order): 17901 to 17920 of 19770
Year of PublicationTitleAuthor(s)Open Access
1997Cooperating runtime systems in LiPSSetz, Thomas; Liefke, Thomas
1997Knowledge-based systems for knowledge management in enterprises : Workshop held at the 21st Annual German Conference on AI (KI-97)Abecker, Andreas; Decker, Stefan; Hinkelmann, Knut, et al
1997Model Existence for Higher Order LogicBenzmüller, Christoph; Kohlhase, Michael
1997Knowledge-based Cooperation between Theorem Provers by TECHSFuchs, Dirk; Denzinger, Jörg
1997Planning Diagonalization ProofsCheikhrouhou, Lassaad
1997Using TEAMWORK for the Distribution of Approximately Solving the Traveling Salesman Problem with Genetic AlgorithmsDenzinger, Jörg; Scholz, Stephan
1997Coupling Saturation-Based Provers by Exchanging Positive/Negative InformationFuchs, Dirk
1997Progress in Proof Planning : Planning Limit Theorems AutomaticallyMelis, Erica
1997An Abstraction for Proof Planning : The S-AbstractionAutexier, Serge
1997Flexible Re-enactment of ProofsFuchs, Matthias
1997Cooperation in Theorem Proving by Loosely Coupled HeuristicsFuchs, Dirk; Denzinger, Jörg
1996Studienführer Informationswissenschaft / Universität des Saarlandes, FR 5.5 InformationswissenschaftZimmermann, Harald H.
1996Automatische Indexierung und elektronische ThesauriZimmermann, Harald H.
1996Eine Uni braucht das Land, auch noch für die Enkel : vom Nutzen der Saar-UniZimmermann, Harald H.
1996Eine informationelle Revolution? : Anforderungen an die InformationswissenschaftZimmermann, Harald H.
1996Elektronische ZeitungenZimmermann, Harald H.
1996Automatische und intellektuelle IndexierungLuckhardt, Heinz-Dirk
1996Integration of prosodic and grammatical information in the analysis of dialogsKasper, Walter; Krieger, Hans-Ulrich
1996From word hypotheses to logical form: an efficient interleaved approachKasper, Walter; Krieger, Hans-Ulrich; Spilker, Jörg, et al
1996Semantic-based transferDorna, Michael; Emele, Martin
Collection's Items (Sorted by Year of Publication in Descending order): 17901 to 17920 of 19770

Narrow your search

Fulltext