- Sprache
-
Englisch
- Identifier
-
1026736188
- Reihe
-
SEKI Report; 96,02
Beteiligte Personen und Organisationen
Becker, Klaus
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Becker, Klaus
Ähnliche Objekte (12)
When to Prove Theorems by Analogy?
How to Prove Higher Order Theorems in First Order Logic
A Review on Image Distortion Measures
Proving Ground Completeness of Resolution by Proof Planning
Approximation Algorithms for Combinatorial Multicriteria Optimization Problems
Truthful Mechanisms for Selfish Routing and Two-Parameter Agents
Solving restricted line location problems via a dual interpretation
Asymptotic order of the parallel volume difference
Discrete Decision Problems, Multiple Criteria Optimization Classes and Lexicographic Max-Ordering
Value Preserving Strategies and a General Framework for Local Approaches to Optimal Portfolios
On the Connectedness of Efficient Solutions in Combinatorial Optimization Problems and Ordered Graphs - Matching and Partial Orders -
Weak Dependence of Functional INGARCH Processes
When to Prove Theorems by Analogy?
How to Prove Higher Order Theorems in First Order Logic
A Review on Image Distortion Measures
Proving Ground Completeness of Resolution by Proof Planning
Approximation Algorithms for Combinatorial Multicriteria Optimization Problems
Truthful Mechanisms for Selfish Routing and Two-Parameter Agents
Solving restricted line location problems via a dual interpretation
Asymptotic order of the parallel volume difference
Discrete Decision Problems, Multiple Criteria Optimization Classes and Lexicographic Max-Ordering
Value Preserving Strategies and a General Framework for Local Approaches to Optimal Portfolios
On the Connectedness of Efficient Solutions in Combinatorial Optimization Problems and Ordered Graphs - Matching and Partial Orders -
Weak Dependence of Functional INGARCH Processes
When to Prove Theorems by Analogy?
How to Prove Higher Order Theorems in First Order Logic
A Review on Image Distortion Measures
Proving Ground Completeness of Resolution by Proof Planning
Approximation Algorithms for Combinatorial Multicriteria Optimization Problems
Truthful Mechanisms for Selfish Routing and Two-Parameter Agents
Solving restricted line location problems via a dual interpretation
Asymptotic order of the parallel volume difference
Discrete Decision Problems, Multiple Criteria Optimization Classes and Lexicographic Max-Ordering
Value Preserving Strategies and a General Framework for Local Approaches to Optimal Portfolios
On the Connectedness of Efficient Solutions in Combinatorial Optimization Problems and Ordered Graphs - Matching and Partial Orders -