Nothing Special   »   [go: up one dir, main page]

Navigation überspringen
Universitätsbibliothek Heidelberg

Disk Speichern
@book{UBHD-1337529,
  author={Hermes, Hans},
  title={Enumerability, decidability, computability},
  subtitle={an introduction to the theory of recursive functions},
  publisher={Springer},
  address={Berlin ; Heidelberg [u.a.]},
  year={1965},
  pages={IX, 245 S.},
  language={eng},
  number={ARRAY(0x55c32112aa10)},
  series={Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen},
  note={Literaturangaben},
  keywords={Turing-Maschine ; Rekursive Funktion ; Berechenbarkeit ; Unentscheidbarkeit ; Rekursive Funktion ; Rekursive Funktion ; Berechenbarkeit ; Entscheidbarkeit ; Algorithmentheorie},
  library={UB [Signatur: 65 B 2888] ; MA [Signatur: Herme] ; MA [Signatur: Herme]},
}

zum Seitenanfang