Zum Inhalt springen Avenhaus, Jürgen [VerfasserIn]; Denzinger, Jörg [VerfasserIn] Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme" Bücher Online ansehen Schließen > Links https://kluedo.ub.rptu.de/frontdoor/index/index/docId/415 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1993
Avenhaus, Jürgen [VerfasserIn]; Denzinger, Jörg [VerfasserIn] Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme" Bücher Online ansehen Schließen > Links https://kluedo.ub.rptu.de/frontdoor/index/index/docId/415 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1993
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Person/Institution Skip to next facet Avenhaus, Jürgen (1) Wert ausschließen Denzinger, Jörg (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (1) Wert ausschließen zeige weitere weniger zeigen