Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Meinel, Christoph; Sack, Harald
Case-study : manipulating -OBDDs by means of signaturesTrier: Univ., Fachbereich Mathematik, Informatik 1997 12 S. (Forschungsbericht ; 97-15)
Czap, H.; Bergmann, R.; Wilke, W.
CBR as a Means for Developing Adaptive Buisiness SystemsBergmann, R.; Wilke, W. (Hrsg). Fifth German Workshop on Case-Based Reasoning - Foundations, Systems, and Applications. Centre f. Learn. Syst. and Applications. Dep. of Comp. Science, Univ. Kaisersl. 1997 S. 75 - 84
Fernau, Henning; Holzer, Markus
Conditional Context-Free Languages of Finite Index.New Trends in Formal Languages. 1997 S. 10 - 26
Stuckenschmidt, Heiner; J. Timm, Ingo; Schröder, Jörg
cosap - Bilanz eines studentischen KI-Projektes.Künstliche Intell. Bd. 11. H. 3. 1997 S. 42 - 46
Nehmer, J.; Sturm, P.; Baentsch, M. et al.
Customization of system software for large-scale embedded applicationsComputer communications. Bd. 20. H. 3. Amsterdam: Elsevier 1997 S. 189 - 196
Ley, M.; Jarke, M.; Pasedach, K. et al.
Die Trierer Informatik-BibliographieJarke, M.; Pasedach, K.; Pohl, K. (Hrsg). Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik. Springer 1997 S. 257 - 266
Ley, Michael
Die Trierer Informatik-Bibliographie DBLP.GI Jahrestagung. 1997 S. 257 - 266
Seidl, H.; Fecht, C.
Disjunctive Completion Is Not "Optimal"International Logic Programming Symposium (ILPS). 1997 S. 408
Jukna, S.
Finite limits and monotone computations: the lower bounds criterionProceedings 12th Annual Conference on Computational Complexity. IEEE Computer Society 1997 S. 302 - 313
Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Function decomposition and synthesis using linear siftingTrier: Univ., FB Mathematik Informatik 1997 13 S. (Trierer Forschungsberichte ; 97-14)