1. Die Publikationen der UdS

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): 17381 to 17400 of 19243
< previous   next >
Year of PublicationTitleAuthor(s)Open Access
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
1996Adaptiver stochastischer Sprache/Pause-DetektorBeham, Manfred; Ruske, Günther
1996Eine informationelle Revolution? : Anforderungen an die InformationswissenschaftZimmermann, Harald H.
1996Tailoring of thermomechanical properties of thermoplastic nanocomposites by surface modification of nanoscale silica particlesBecker, Carsten; Krug, Herbert; Schmidt, Helmut K.
1996Thermal decoloration kinetics of spirooxazines in Ormocer coatings prepared via sol-gel processingHou, Lisong; Schmidt, Helmut K.
1996Colloidal processing of temperature shock resistant SiC with tailored porosityAslan, Mesut; Nass, Rüdiger; Schmidt, Helmut K.
1996Hybrid sols as intermediates to inorganic-organic nanocompositesSchmidt, Helmut K.; Oliveira, Peter William de; Krug, Herbert
1996Inkrementelle Erstellung von WorthypothesengraphenPfau, Thilo; Ruske, Günther
Collection's Items (Sorted by Year of Publication in Descending order): 17381 to 17400 of 19243
< previous   next >

Narrow your search

Fulltext