|
1 |
A Case Study in Distributed Planning for Autonomous Cooperating Agents
Breuer, Peter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
2 |
A Colored Version of the lambda-Calculus
Hutter, Dieter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
3 |
A Combinator-based Order-sorted Higher-order Unification Algorithm
Johann, Patricia. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
4 |
A Dialogue Manager for the DIALOG Demonstrator
Buckley, Mark. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
5 |
A Mechanization of Strong Kleene Logic for Partial Functions
Kerber, Manfred. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
6 |
A Method to Prove the Positiveness of Polynomials
Steinbach, Joachim. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
7 |
A Proof Representation
Berkelhammer, Jessi. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
8 |
A Reduction Ordering for Higher-Order Terms
Avenhaus, Jürgen. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
9 |
A Relational/Functional Language and Its Compilation into the WAM
Boley, Harold. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
10 |
A remark on higher order RUE-resolution with ERUE
Benzmüller, Christoph. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
Administration
