Computability: 1973 - 1974
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
New York
Courant Inst. of Math. Sciences
1974
|
Schlagworte: | |
Beschreibung: | V, 248 S. |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV002645962 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | t | ||
008 | 900510s1974 |||| 00||| eng d | ||
035 | |a (OCoLC)2137514 | ||
035 | |a (DE-599)BVBBV002645962 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91G |a DE-29T | ||
050 | 0 | |a QA248.5 | |
082 | 0 | |a 519.4 | |
100 | 1 | |a Davis, Martin |d 1928-2023 |e Verfasser |0 (DE-588)116040866 |4 aut | |
245 | 1 | 0 | |a Computability |b 1973 - 1974 |
264 | 1 | |a New York |b Courant Inst. of Math. Sciences |c 1974 | |
300 | |a V, 248 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 7 | |a Fonctions calculables - Informatique |2 ram | |
650 | 7 | |a Fonctions récursives - Informatique |2 ram | |
650 | 7 | |a Ordinateurs |2 ram | |
650 | 7 | |a Turing, Machines de |2 ram | |
650 | 4 | |a Datenverarbeitung | |
650 | 4 | |a Computable functions |x Data processing | |
650 | 4 | |a Recursive functions |x Data processing | |
650 | 4 | |a Turing machines | |
650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
689 | 0 | |5 DE-604 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-001697778 |
Datensatz im Suchindex
_version_ | 1804117025997455360 |
---|---|
any_adam_object | |
author | Davis, Martin 1928-2023 |
author_GND | (DE-588)116040866 |
author_facet | Davis, Martin 1928-2023 |
author_role | aut |
author_sort | Davis, Martin 1928-2023 |
author_variant | m d md |
building | Verbundindex |
bvnumber | BV002645962 |
callnumber-first | Q - Science |
callnumber-label | QA248 |
callnumber-raw | QA248.5 |
callnumber-search | QA248.5 |
callnumber-sort | QA 3248.5 |
callnumber-subject | QA - Mathematics |
ctrlnum | (OCoLC)2137514 (DE-599)BVBBV002645962 |
dewey-full | 519.4 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 519 - Probabilities and applied mathematics |
dewey-raw | 519.4 |
dewey-search | 519.4 |
dewey-sort | 3519.4 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01227nam a2200397 c 4500</leader><controlfield tag="001">BV002645962</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900510s1974 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2137514</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002645962</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.4</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Davis, Martin</subfield><subfield code="d">1928-2023</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)116040866</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computability</subfield><subfield code="b">1973 - 1974</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Courant Inst. of Math. Sciences</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 248 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions calculables - Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions récursives - Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Turing, Machines de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Turing machines</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001697778</subfield></datafield></record></collection> |
id | DE-604.BV002645962 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T15:47:51Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001697778 |
oclc_num | 2137514 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM DE-29T |
owner_facet | DE-91G DE-BY-TUM DE-29T |
physical | V, 248 S. |
publishDate | 1974 |
publishDateSearch | 1974 |
publishDateSort | 1974 |
publisher | Courant Inst. of Math. Sciences |
record_format | marc |
spelling | Davis, Martin 1928-2023 Verfasser (DE-588)116040866 aut Computability 1973 - 1974 New York Courant Inst. of Math. Sciences 1974 V, 248 S. txt rdacontent n rdamedia nc rdacarrier Fonctions calculables - Informatique ram Fonctions récursives - Informatique ram Ordinateurs ram Turing, Machines de ram Datenverarbeitung Computable functions Data processing Recursive functions Data processing Turing machines Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 s DE-604 |
spellingShingle | Davis, Martin 1928-2023 Computability 1973 - 1974 Fonctions calculables - Informatique ram Fonctions récursives - Informatique ram Ordinateurs ram Turing, Machines de ram Datenverarbeitung Computable functions Data processing Recursive functions Data processing Turing machines Berechenbarkeit (DE-588)4138368-0 gnd |
subject_GND | (DE-588)4138368-0 |
title | Computability 1973 - 1974 |
title_auth | Computability 1973 - 1974 |
title_exact_search | Computability 1973 - 1974 |
title_full | Computability 1973 - 1974 |
title_fullStr | Computability 1973 - 1974 |
title_full_unstemmed | Computability 1973 - 1974 |
title_short | Computability |
title_sort | computability 1973 1974 |
title_sub | 1973 - 1974 |
topic | Fonctions calculables - Informatique ram Fonctions récursives - Informatique ram Ordinateurs ram Turing, Machines de ram Datenverarbeitung Computable functions Data processing Recursive functions Data processing Turing machines Berechenbarkeit (DE-588)4138368-0 gnd |
topic_facet | Fonctions calculables - Informatique Fonctions récursives - Informatique Ordinateurs Turing, Machines de Datenverarbeitung Computable functions Data processing Recursive functions Data processing Turing machines Berechenbarkeit |
work_keys_str_mv | AT davismartin computability19731974 |