Ihr Suchergebnis
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |
| 1. |
Kamp, Gerd ; Wache, Holger
(1996)
CTL : a description logic with expressive concrete domains
Kaiserslautern ; Saarbrücken : DFKI, 1996
Report (Bericht)
|
| 2. |
Abecker, Andreas ; Boley, Harold ; Hinkelmann, Knut ; Wache, Holger ; Schmalhofer, Franz
(1995)
An environment for exploring and validating declarative knowledge
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |