Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2004	A Proof Representation	Berkelhammer, Jessi
2004	The Proof Planners of [Omega]MEGA : A Technical Description	Meier, Andreas
2004	The New Standard Tactics of the Inductive Theorem Prover QUODLIBET	Schmidt-Samoa, Tobias
2004	Gender-Biased Adaptations in Educational Adaptive Hypermedia	Melis, Erica; Ullrich, Carsten
2004	Proof Planning Limit Problems with Multiple Strategies	Meier, Andreas; Melis, Erica
2004	Widerstand und Kollaboration in Europa	-
2004	Der disziplinäre Volltextserver PsyDok am Sondersammelgebiet Psychologie	Herb, Ulrich
2004	A Dialogue Manager for the DIALOG Demonstrator	Buckley, Mark; Benzmüller, Christoph
2004	Psychologie-Volltextserver am SSG Psychologie PsyDok	Herb, Ulrich
2004	Digitale Psychologie Information	Herb, Ulrich
2003	Möglichkeiten einer computergestützten Sacherschließung	Zimmermann, Harald H.
2003	Zur Gestaltung eines Internet-Portals als offenes Autor-zentriertes Kommunikationssystem	Zimmermann, Harald H.
2003	Stand und Perspektiven der Sprachtechnologie : mit dem Beispiel der Maschinellen Übersetzung	Zimmermann, Harald H.
2003	Labels als Mittel der Informationsarchitektur : über die effiziente Repräsentation von Inhalten im WWW	Harms, Ilse; Luckhardt, Heinz-Dirk
2003	Situated interaction on spatial topics	Kray, Christian
2003	On estimates of the Boltzmann collision operator with cutoff	Duduchava, Roland; Kirsch, Ralf; Rjasanow, Sergej
2003	Entwicklung eines internetgestützten Expertensystems zur Prüfung des Anwendungsbereichs urheberrechtlicher Abkommen	Bohrer, Arndt
2003	Non-structural subtype entailment in automata theory	Niehren, Joachim; Priesnitz, Tim
2003	Hybrid discourse modeling and summarization for a speech-to-speech translation system	Alexandersson, Jan
2003	Influence of water on the electrochemical properties of (CeO2)x(TiO2)1-x and WO3 sol-gel coatings and electrochromic devices	Sun, Donglan L.; Heusing, Sabine; Pütz, Jörg, u.a.