SciDok

Ihr Suchergebnis

Ergebnis 1 - 10 von 13  1   2  Blättern >>   Gehe zu Seite
von 2
1. Debusmann, Ralph ; Smolka, Gert (2006) Multi-dimensional dependency grammar as multigraph description Proceedings of the nineteenth International Florida Artificial Intelligence Research Society Conference. - Menlo Park, Calif. : AAAI Press, 2006 InProceedings (Aufsatz / Paper einer Konferenz etc.)
 
2. Smolka, Gert (1995) The Oz programming model Kaiserslautern ; Saarbrücken : DFKI, 1995 Report (Bericht)
 
3. Schulte, Christian ; Smolka, Gert ; Würtz, Jörg (1994) Encapsulated search and constraint programming in Oz Kaiserslautern ; Saarbrücken : DFKI, 1994 Report (Bericht)
 
4. Smolka, Gert (1994) The definition of kernel Oz Kaiserslautern ; Saarbrücken : DFKI, 1994 Report (Bericht)
 
5. Smolka, Gert ; Henz, Martin ; Würtz, Jörg (1993) Object-oriented concurrent constraint programming in Oz Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
6. Hense, Andreas V. ; Smolka, Gert (1993) Principal types for object-oriented languages Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
7. Backofen, Rolf ; Smolka, Gert (1992) A complete and recursive feature theory Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
8. Aït-Kaci, Hassan ; Podelski, Andreas ; Smolka, Gert (1992) A feature-based constraint system for logic programming with entailment Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
9. Hense, Andreas V. ; Smolka, Gert (1992) A verification of extensible record types Report (Bericht)
 
10. Smolka, Gert ; Treinen, Ralf (1992) Records for logic programming Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
Ergebnis 1 - 10 von 13  1   2  Blättern >>   Gehe zu Seite
von 2

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English