SciDok

Ihr Suchergebnis

Ergebnis 1 - 2 von 2  1    Gehe zu Seite
von 1
1. Niehren, Joachim ; Podelski, Andreas ; Treinen, Ralf (1993) Equational and membership constraints for infinite trees Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
2. 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)
 
Ergebnis 1 - 2 von 2  1    Gehe zu Seite
von 1

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