Algorithmische Theorien und konstruktive Geometrie:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Stuttgart
Hochschul-Verl.
1978
|
| Schriftenreihe: | Hochschulsammlung Naturwissenschaft, Informatik.
2. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 72 S. graph.Darst. |
| ISBN: | 3810720550 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001996719 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 890928s1978 d||| m||| 00||| ger d | ||
| 020 | |a 3810720550 |9 3-8107-2055-0 | ||
| 035 | |a (OCoLC)5894234 | ||
| 035 | |a (DE-599)BVBBV001996719 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-706 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA681 | |
| 082 | 0 | |a 516.1 | |
| 084 | |a SK 380 |0 (DE-625)143235: |2 rvk | ||
| 100 | 1 | |a Seeland, Horst |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algorithmische Theorien und konstruktive Geometrie |
| 264 | 1 | |a Stuttgart |b Hochschul-Verl. |c 1978 | |
| 300 | |a VIII, 72 S. |b graph.Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Hochschulsammlung Naturwissenschaft, Informatik. |v 2. | |
| 502 | |a Zugl.: Stuttgart, Univ., Diss., 1978 | ||
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Geometry |x Foundations | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 830 | 0 | |a Hochschulsammlung Naturwissenschaft, Informatik. |v 2. |w (DE-604)BV000904983 |9 2. | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001302477&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001302477 | ||
Datensatz im Suchindex
| _version_ | 1804116443912994816 |
|---|---|
| adam_text | INHALT:
Seite
Literatur VII
Symbole und Begriffe VIII
Einleitung 1
1. Die algorithmische Sprache. 3
2. Algorithmische Theorien der reellen Zahlen. 19
3. Eine algorithmische Sprache für die konstruktive
affine Geometrie. 25
4. Ein Axiomensystem für die konstruktive affine
Geometrie. 29
5. Konstruktive euklidische Geometrie
Vorbemerkungen. 35
6. Ein Axiomensystem für die konstruktive
euklidische Geometrie. 37
7. Die algorithmische Theorie der konstruktiven
euklidischen Geometrie. 53
8. Das Kreisaxiom in der konstruktiven
euklidischen Geometrie. 57
9. Weitere Sprachen für die konstruktive
euklidische Geometrie. 67
|
| any_adam_object | 1 |
| author | Seeland, Horst |
| author_facet | Seeland, Horst |
| author_role | aut |
| author_sort | Seeland, Horst |
| author_variant | h s hs |
| building | Verbundindex |
| bvnumber | BV001996719 |
| callnumber-first | Q - Science |
| callnumber-label | QA681 |
| callnumber-raw | QA681 |
| callnumber-search | QA681 |
| callnumber-sort | QA 3681 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 380 |
| ctrlnum | (OCoLC)5894234 (DE-599)BVBBV001996719 |
| dewey-full | 516.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 516 - Geometry |
| dewey-raw | 516.1 |
| dewey-search | 516.1 |
| dewey-sort | 3516.1 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01456nam a2200385 cb4500</leader><controlfield tag="001">BV001996719</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1978 d||| m||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3810720550</subfield><subfield code="9">3-8107-2055-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)5894234</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001996719</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA681</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">516.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 380</subfield><subfield code="0">(DE-625)143235:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Seeland, Horst</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmische Theorien und konstruktive Geometrie</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Hochschul-Verl.</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 72 S.</subfield><subfield code="b">graph.Darst.</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="490" ind1="1" ind2=" "><subfield code="a">Hochschulsammlung Naturwissenschaft, Informatik.</subfield><subfield code="v">2.</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Stuttgart, Univ., Diss., 1978</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geometry</subfield><subfield code="x">Foundations</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Hochschulsammlung Naturwissenschaft, Informatik.</subfield><subfield code="v">2.</subfield><subfield code="w">(DE-604)BV000904983</subfield><subfield code="9">2.</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001302477&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001302477</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV001996719 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:38:36Z |
| institution | BVB |
| isbn | 3810720550 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001302477 |
| oclc_num | 5894234 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-706 DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-706 DE-83 DE-11 DE-188 |
| physical | VIII, 72 S. graph.Darst. |
| psigel | TUB-nveb |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Hochschul-Verl. |
| record_format | marc |
| series | Hochschulsammlung Naturwissenschaft, Informatik. |
| series2 | Hochschulsammlung Naturwissenschaft, Informatik. |
| spelling | Seeland, Horst Verfasser aut Algorithmische Theorien und konstruktive Geometrie Stuttgart Hochschul-Verl. 1978 VIII, 72 S. graph.Darst. txt rdacontent n rdamedia nc rdacarrier Hochschulsammlung Naturwissenschaft, Informatik. 2. Zugl.: Stuttgart, Univ., Diss., 1978 Algorithms Geometry Foundations (DE-588)4113937-9 Hochschulschrift gnd-content Hochschulsammlung Naturwissenschaft, Informatik. 2. (DE-604)BV000904983 2. HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001302477&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Seeland, Horst Algorithmische Theorien und konstruktive Geometrie Hochschulsammlung Naturwissenschaft, Informatik. Algorithms Geometry Foundations |
| subject_GND | (DE-588)4113937-9 |
| title | Algorithmische Theorien und konstruktive Geometrie |
| title_auth | Algorithmische Theorien und konstruktive Geometrie |
| title_exact_search | Algorithmische Theorien und konstruktive Geometrie |
| title_full | Algorithmische Theorien und konstruktive Geometrie |
| title_fullStr | Algorithmische Theorien und konstruktive Geometrie |
| title_full_unstemmed | Algorithmische Theorien und konstruktive Geometrie |
| title_short | Algorithmische Theorien und konstruktive Geometrie |
| title_sort | algorithmische theorien und konstruktive geometrie |
| topic | Algorithms Geometry Foundations |
| topic_facet | Algorithms Geometry Foundations Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001302477&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000904983 |
| work_keys_str_mv | AT seelandhorst algorithmischetheorienundkonstruktivegeometrie |