Navigation überspringen
Universitätsbibliothek Heidelberg

Schlagwort-Information

Index-Eintrag in HEIDI

Ansetzungsform:Entscheidbarkeit
SWD:4152398-2
GND:4152398-2
PPN (SWB):105538523
Quelle:M, Du. Informatik
SWD-Systematiknummer:4.3;28;30
Notation DDC:511.3
Alternativformen:Decidability (mathematical logic)
Decidibilidade
Decidibilità
Décidabilité
Decidibilidad
Decidability (Mathematical logic)
Décidabilité (logique mathématique)

DNB DNB: Deutsche Nationalbibliothek

zum Seitenanfang