9 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
zu den Filteroptionen9 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Jg. 1990, S. 1-10
Simulating binary trees on x-trees
In: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures / Symposium on Parallel Algorithms and Architectures <3, 1991, Hilton Head Island, SC>, S. 147-158Sokratische Gespräche in der Mathematiklehrerausbildung
In: Das sokratische Gespräch, Jg. 1989, S. 167-171Die sokratische Methode Leonard Nelsons in Gesprächen unter Erwachsenen und zukünftigen Mathematiklehrern über mathematische Fragen
Absichten und ErfahrungenIn: 23. Bundestagung vom 28.2. bis 3.3.1989 in Berlin (Beiträge zum Mathematikunterricht. 1969), Jg. 1989, S. 354-357Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Jg. 3.1993 Poster session, 267 SeitenSome Lie theory of semigroups based on examples
In: Semesterbericht Funktionalanalysis, Jg. 13.1988, S. 107-118Some recent results on solitons, symmetries and conservation laws in nonlinear dynamics
In: Proceedings of the 14th ICGTMP: International Colloquium on Group Theoretical Methods in Physics : 26-30 August 1985, Seoul Korea, Jg. 14.1986, S. 421-424Spectrally ordered Lie algebras
In: Proceedings of the XVI International Colloquium, held at Varna, Bulgaria, June 15 - 20, 1987 (Lecture notes in physics : 313), Jg. 1988, S. 11-16Systematische Analyse semantischer Abhängigkeiten
In: Programmiersprachen / Fachtagung über Programmiersprachen, Jg. 4, S. 19-32