Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Detalles Bibliográficos
Autor principal: Hermes, Hans
Lenguaje:ger
Publicado: Springer 1961
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/231751
_version_ 1780884137081569280
author Hermes, Hans
author_facet Hermes, Hans
author_sort Hermes, Hans
collection CERN
id cern-231751
institution Organización Europea para la Investigación Nuclear
language ger
publishDate 1961
publisher Springer
record_format invenio
spelling cern-2317512021-04-22T04:14:27Zhttp://cds.cern.ch/record/231751gerHermes, HansAufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven FunktionenMathematical Physics and MathematicsSpringeroai:cds.cern.ch:2317511961
spellingShingle Mathematical Physics and Mathematics
Hermes, Hans
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
title Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
title_full Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
title_fullStr Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
title_full_unstemmed Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
title_short Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
title_sort aufzählbarkeit, entscheidbarkeit, berechenbarkeit: einführung in die theorie der rekursiven funktionen
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/231751
work_keys_str_mv AT hermeshans aufzahlbarkeitentscheidbarkeitberechenbarkeiteinfuhrungindietheoriederrekursivenfunktionen

Ejemplares similares