- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
CSP beyond tractable constraint languages ; volume:28 ; number:3 ; day:11 ; month:10 ; year:2023 ; pages:450-471 ; date:9.2023
Constraints ; 28, Heft 3 (11.10.2023), 450-471, 9.2023
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10601-023-09362-3
- URN
-
urn:nbn:de:101:1-2024012911233446780989
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:34 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Dreier, Jan
- Ordyniak, Sebastian
- Szeider, Stefan
- SpringerLink (Online service)
Ähnliche Objekte (12)
Multiparadigm constraint programming languages
Tractable falsifiability
Efficient Constraint Solving in Dynamic Languages
Validation Framework for RDF-based Constraint Languages
The signs of determination : constraint-based modelling across languages
Constraint Modelling and Data Validation Using Formal Specification Languages
Tractable reasoning in artificial intelligence
Parallel fixed parameter tractable problems
Tractable RNA–ligand interaction kinetics
Strafprozeßregister CsP
Strafprozeßregister CsP
Analytically tractable stochastic stock price models
Multiparadigm constraint programming languages
Tractable falsifiability
Efficient Constraint Solving in Dynamic Languages
Validation Framework for RDF-based Constraint Languages
The signs of determination : constraint-based modelling across languages
Constraint Modelling and Data Validation Using Formal Specification Languages
Tractable reasoning in artificial intelligence
Parallel fixed parameter tractable problems
Tractable RNA–ligand interaction kinetics
Strafprozeßregister CsP
Strafprozeßregister CsP
Analytically tractable stochastic stock price models
Multiparadigm constraint programming languages
Tractable falsifiability
Efficient Constraint Solving in Dynamic Languages
Validation Framework for RDF-based Constraint Languages
The signs of determination : constraint-based modelling across languages
Constraint Modelling and Data Validation Using Formal Specification Languages
Tractable reasoning in artificial intelligence
Parallel fixed parameter tractable problems
Tractable RNA–ligand interaction kinetics
Strafprozeßregister CsP
Strafprozeßregister CsP