- Alternative title
-
Effizientes Constraintlösen in dynamischen Sprachen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Technische Universtität Berlin, Diss., 2011
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Universitätsbibliothek der Technischen Universität Berlin
- (when)
-
2011
- Creator
-
Frank, Stephan
- Contributor
-
Pepper, Peter
- URN
-
urn:nbn:de:kobv:83-opus-30685
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Frank, Stephan
- Pepper, Peter
- Universitätsbibliothek der Technischen Universität Berlin
Time of origin
- 2011
Other Objects (12)
Constraint solving for verification
Solving linear graphical constraint expressions
Modern constraint answer set solving
Geometric constraint solving and applications
Multiparadigm constraint programming languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
Validation Framework for RDF-based Constraint Languages
Constraint solving for verification
Solving linear graphical constraint expressions
Modern constraint answer set solving
Geometric constraint solving and applications
Multiparadigm constraint programming languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
Validation Framework for RDF-based Constraint Languages
Constraint solving for verification
Solving linear graphical constraint expressions
Modern constraint answer set solving
Geometric constraint solving and applications
Multiparadigm constraint programming languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming