|
1 |
A bird's-eye view of LISPLOG
Boley, Harold. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
2 |
A Decision Procedure for Presburger Arithmetic with Functions and Equality
Krämer, F.-J.. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
3 |
ARI
Barth, Winfried. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
4 |
CALDO
Sohns, Harald. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
5 |
COMTES
Steinbach, Joachim. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
6 |
Conceptual Dependency Theory
Nökel, Klaus. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
7 |
Ein Indexierungskonzept für LISPLOG-Datenbasen
Bernardi, Ansgar. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
8 |
Entwurf und Implementierung einer Interaktionsumgebung für LISPLOG
Meyer, Manfred Andreas. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
9 |
Extending the WARREN Abstract Machine to Feature Prolog
Forster, Peter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
|
|
10 |
FONE AND FALL
Boley, Harold. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
|
|
Administration
