HOL Bezüge im Wissensnetz Literatur und Nachweise (97) DNB-Titeldaten 97 Einträge — alle anzeigen → Erschlossen unter (1) DNB-Titeldaten Higher order logic theorem proving and its applications Oberbegriff instantiell (1) GND Dialogsystem In Beziehung stehende Dewey-Dezimalklassifikation mit Determiniertheitsgrad 2 (1) GND 004.0151 Oberbegriff allgemein (1) GND Softwarewerkzeug