Hochschulschrift - Master (597)
10361.
Hochschulschrift - Master
Eine parallelisierbare Heuristik für das Min-Cost-Flow Problem. Master, Universität des Saarlandes, Saarbrücken (1996)
10362.
Hochschulschrift - Master
An Implementation of a Convex Hull Algorithm Version 2.0. Master, Universität des Saarlandes, Saarbrücken (1996)
10363.
Hochschulschrift - Master
Quantifier Elimination in Second-Order Predicate Logic. Master, Universität des Saarlandes, Saarbrücken (1996)
10364.
Hochschulschrift - Master
Heuristiken für das euklidische Travelling Salesman Problem. Master, Universitat des Saarlandes, Saarbrücken (1996)
10365.
Hochschulschrift - Master
Die hierarchische Darstellung konvexer Polyeder und einige Anwendungen. Master, Universität des Saarlandes, Saarbrücken (1996)
10366.
Hochschulschrift - Master
Approximative Bewegungsplanung für einen rechteckigen Roboter mit Hilfe von Voronoidiagrammen. Master, Universität des Saarlandes, Saarbrücken (1996)
10367.
Hochschulschrift - Master
Ein Bewegungsplanungsalgorithmus für zwei Rechtecke mit einem gemeinsamen Eckpunkt. Master, Universität des Saarlandes, Saarbrücken (1996)
10368.
Hochschulschrift - Master
Parallel Unit Resulting Resolution. Master, Universität des Saarlandes, Saarbrücken (1996)
10369.
Hochschulschrift - Master
Bewegung eines Polygons zwischen polygonalen Hindernisse. Master, Universität des Saarlandes, Saarbrücken (1996)
10370.
Hochschulschrift - Master
Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung. Master, Universität des Saarlandes, Saarbrücken (1996)
10371.
Hochschulschrift - Master
Finding Resolution K-Transformations. Master, Universität des Saarlandes, Saarbrücken (1996)
10372.
Hochschulschrift - Master
Entwicklung und Implementierung eines Entscheidungsalgorithmus zur Zuordnung von Probleminstanzen an Hierarchieebenen. Master, Universität des Saarlandes, Saarbrücken (1996)
10373.
Hochschulschrift - Master
Strategien für Resolutionsbeweiser in Logik höherer Stufe. Master, Universität des Saarlandes, Saarbrücken (1995)
10374.
Hochschulschrift - Master
Superposition Extended with Sorts. Master, Universität Kaiserslautern, Saarbrücken (1995)
10375.
Hochschulschrift - Master
Verdrahtung von Kanälen mit Seitenanschlüssen. Master, Universität des Saarlandes, Saarbrücken (1994)
10376.
Hochschulschrift - Master
Fast Parallel Space Allocation, Estimation and Integer Sorting. Master, Universität des Saarlandes, Saarbrücken (1994)
10377.
Hochschulschrift - Master
Effiziente Subsumption in Deduktionssystemen. Master, Universität des Saarlandes, Saarbrücken (1994)
10378.
Hochschulschrift - Master
Parallele Graphenalgorithmen für den Hypercube. Master, Universität des Saarlandes, Saarbrücken (1994)
10379.
Hochschulschrift - Master
Unification Using Dynamic Sorts. Master, Universität des Saarlandes, Saarbrücken (1992)
10380.
Hochschulschrift - Master
Transformation in dichten Wäldern. Master, Universität des Saarlandes, Saarbrücken (1991)