Erscheinungsjahr
Medientyp
Datenquelle
Fach
Lizenz
Sprache
TIB-Lesesaalbestand
1–20 von 74.680 Ergebnissen
Sortieren:
Sortieren:
-
15th Innovations in Theoretical Computer Science Conference : ITCS 2024, January 30 to February 2, 2024, Berkeley, CA, USA
Freier ZugriffTIBKAT | 2024| -
SC-Square 2022: Satisfiability Checking and Symbolic Computation 2022 : proceedings of the 7th SC-Square Workshop, co-located with the Federated Logic Conference 2022 (FLoC 2022) as a part of the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 12, 2022
Freier ZugriffTIBKAT | 2023| -
DL 2023 : proceedings of the 36th International Workshop on Description Logics : co-located with: 20th International Conference on Principles of Knowledge Representation and Reasoning (KR), 21st International Workshop on Non-Monotonic Reasoning (NMR) : September 2-4, 2023, Rhodes, Greece
Freier ZugriffTIBKAT | 2023|