On the combination of symbolic constraints, solution domains, and constraint solvers

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Baader, Franz 1959- (VerfasserIn), Schulz, Klaus U. (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: München CIS [1995]
Schriftenreihe:Centrum für Informations- und Sprachverarbeitung <München>: CIS-Bericht 120
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Search Result 1