Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Neubiberg
Univ. der Bundeswehr München, Fakultät für Informatik
1990
|
| Schriftenreihe: | Bericht / Universität der Bundeswehr München, Fakultät Informatik
9010 |
| Schlagworte: | |
| Beschreibung: | 18 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022010790 | ||
| 003 | DE-604 | ||
| 005 | 20220721 | ||
| 007 | t | ||
| 008 | 910326s1990 |||| 00||| ger d | ||
| 035 | |a (OCoLC)46141552 | ||
| 035 | |a (DE-599)BVBBV022010790 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-706 |a DE-12 |a DE-91 |a DE-29T | ||
| 100 | 1 | |a Berghammer, Rudolf |d 1952- |e Verfasser |0 (DE-588)139235965 |4 aut | |
| 245 | 1 | 0 | |a Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe |c Rudolf Berghammer |
| 264 | 1 | |a Neubiberg |b Univ. der Bundeswehr München, Fakultät für Informatik |c 1990 | |
| 300 | |a 18 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Bericht / Universität der Bundeswehr München, Fakultät Informatik |v 9010 | |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zahl |0 (DE-588)4067271-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Zahl |0 (DE-588)4067271-2 |D s |
| 689 | 0 | 1 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a Universität der Bundeswehr München, Fakultät Informatik |t Bericht |v 9010 |w (DE-604)BV011707181 |9 9010 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015225426 | ||
Datensatz im Suchindex
| _version_ | 1804135985438523392 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Berghammer, Rudolf 1952- |
| author_GND | (DE-588)139235965 |
| author_facet | Berghammer, Rudolf 1952- |
| author_role | aut |
| author_sort | Berghammer, Rudolf 1952- |
| author_variant | r b rb |
| building | Verbundindex |
| bvnumber | BV022010790 |
| ctrlnum | (OCoLC)46141552 (DE-599)BVBBV022010790 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01256nam a2200325zcb4500</leader><controlfield tag="001">BV022010790</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220721 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910326s1990 |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46141552</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022010790</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Berghammer, Rudolf</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)139235965</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe</subfield><subfield code="c">Rudolf Berghammer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Neubiberg</subfield><subfield code="b">Univ. der Bundeswehr München, Fakultät für Informatik</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 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="490" ind1="1" ind2=" "><subfield code="a">Bericht / Universität der Bundeswehr München, Fakultät Informatik</subfield><subfield code="v">9010</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zahl</subfield><subfield code="0">(DE-588)4067271-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zahl</subfield><subfield code="0">(DE-588)4067271-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Universität der Bundeswehr München, Fakultät Informatik</subfield><subfield code="t">Bericht</subfield><subfield code="v">9010</subfield><subfield code="w">(DE-604)BV011707181</subfield><subfield code="9">9010</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015225426</subfield></datafield></record></collection> |
| id | DE-604.BV022010790 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:11:48Z |
| indexdate | 2024-07-09T20:49:12Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015225426 |
| oclc_num | 46141552 |
| open_access_boolean | |
| owner | DE-706 DE-12 DE-91 DE-BY-TUM DE-29T |
| owner_facet | DE-706 DE-12 DE-91 DE-BY-TUM DE-29T |
| physical | 18 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Univ. der Bundeswehr München, Fakultät für Informatik |
| record_format | marc |
| series2 | Bericht / Universität der Bundeswehr München, Fakultät Informatik |
| spelling | Berghammer, Rudolf 1952- Verfasser (DE-588)139235965 aut Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe Rudolf Berghammer Neubiberg Univ. der Bundeswehr München, Fakultät für Informatik 1990 18 S. txt rdacontent n rdamedia nc rdacarrier Bericht / Universität der Bundeswehr München, Fakultät Informatik 9010 Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Zahl (DE-588)4067271-2 gnd rswk-swf Zahl (DE-588)4067271-2 s Prädikatenlogik (DE-588)4046974-8 s DE-604 Universität der Bundeswehr München, Fakultät Informatik Bericht 9010 (DE-604)BV011707181 9010 |
| spellingShingle | Berghammer, Rudolf 1952- Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe Prädikatenlogik (DE-588)4046974-8 gnd Zahl (DE-588)4067271-2 gnd |
| subject_GND | (DE-588)4046974-8 (DE-588)4067271-2 |
| title | Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe |
| title_auth | Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe |
| title_exact_search | Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe |
| title_exact_search_txtP | Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe |
| title_full | Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe Rudolf Berghammer |
| title_fullStr | Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe Rudolf Berghammer |
| title_full_unstemmed | Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe Rudolf Berghammer |
| title_short | Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe |
| title_sort | zur beschreibung der ganzen zahlen als termerzeugtes modell einer theorie der pradikatenlogik erster stufe |
| topic | Prädikatenlogik (DE-588)4046974-8 gnd Zahl (DE-588)4067271-2 gnd |
| topic_facet | Prädikatenlogik Zahl |
| volume_link | (DE-604)BV011707181 |
| work_keys_str_mv | AT berghammerrudolf zurbeschreibungderganzenzahlenalstermerzeugtesmodelleinertheoriederpradikatenlogikersterstufe |