A logical approach to discrete math:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
New York u.a.
Springer
1993
|
| Schriftenreihe: | Texts and monographs in computer science
|
| Schlagwörter: | |
| Umfang: | XVI, 497 S. graph. Darst. |
| ISBN: | 0387941150 3540941150 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008358938 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 931130s1993 xx d||| |||| 00||| eng d | ||
| 020 | |a 0387941150 |9 0-387-94115-0 | ||
| 020 | |a 3540941150 |9 3-540-94115-0 | ||
| 035 | |a (OCoLC)28377189 | ||
| 035 | |a (DE-599)BVBBV008358938 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91 |a DE-384 |a DE-12 |a DE-703 |a DE-473 |a DE-634 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA39.2 | |
| 082 | 0 | |a 510 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a MAT 050f |2 stub | ||
| 100 | 1 | |a Gries, David |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A logical approach to discrete math |c David Gries ; Fred B. Schneider |
| 264 | 1 | |a New York u.a. |b Springer |c 1993 | |
| 300 | |a XVI, 497 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts and monographs in computer science | |
| 650 | 7 | |a Informatique - Mathématiques |2 ram | |
| 650 | 7 | |a Logique |2 ram | |
| 650 | 4 | |a Mathématiques | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a induction mathématique |2 inriac | |
| 650 | 7 | |a mathématique discrète |2 inriac | |
| 650 | 7 | |a prédicat |2 inriac | |
| 650 | 7 | |a quantification |2 inriac | |
| 650 | 7 | |a relation récurrence |2 inriac | |
| 650 | 7 | |a théorie graphe |2 inriac | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Mathematics | |
| 650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005519859 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0001 94 A 886 |
|---|---|
| DE-BY-TUM_katkey | 607684 |
| DE-BY-TUM_location | Mag |
| DE-BY-TUM_media_number | 040000794961 |
| _version_ | 1821930863688941568 |
| any_adam_object | |
| author | Gries, David |
| author_facet | Gries, David |
| author_role | aut |
| author_sort | Gries, David |
| author_variant | d g dg |
| building | Verbundindex |
| bvnumber | BV008358938 |
| callnumber-first | Q - Science |
| callnumber-label | QA39 |
| callnumber-raw | QA39.2 |
| callnumber-search | QA39.2 |
| callnumber-sort | QA 239.2 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | MAT 030f MAT 050f |
| ctrlnum | (OCoLC)28377189 (DE-599)BVBBV008358938 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| 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>02049nam a2200601 c 4500</leader><controlfield tag="001">BV008358938</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">931130s1993 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387941150</subfield><subfield code="9">0-387-94115-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540941150</subfield><subfield code="9">3-540-94115-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28377189</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008358938</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-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA39.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 050f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gries, David</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A logical approach to discrete math</subfield><subfield code="c">David Gries ; Fred B. Schneider</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 497 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="0" ind2=" "><subfield code="a">Texts and monographs in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">induction mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mathématique discrète</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">quantification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">relation récurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie graphe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005519859</subfield></datafield></record></collection> |
| id | DE-604.BV008358938 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T09:20:50Z |
| institution | BVB |
| isbn | 0387941150 3540941150 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005519859 |
| oclc_num | 28377189 |
| open_access_boolean | |
| owner | DE-739 DE-91 DE-BY-TUM DE-384 DE-12 DE-703 DE-473 DE-BY-UBG DE-634 DE-83 DE-188 |
| owner_facet | DE-739 DE-91 DE-BY-TUM DE-384 DE-12 DE-703 DE-473 DE-BY-UBG DE-634 DE-83 DE-188 |
| physical | XVI, 497 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts and monographs in computer science |
| spellingShingle | Gries, David A logical approach to discrete math Informatique - Mathématiques ram Logique ram Mathématiques calcul propositionnel inriac calcul prédicat inriac induction mathématique inriac mathématique discrète inriac prédicat inriac quantification inriac relation récurrence inriac théorie graphe inriac Mathematik Mathematics Diskrete Mathematik (DE-588)4129143-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4129143-8 (DE-588)4037951-6 (DE-588)4037944-9 |
| title | A logical approach to discrete math |
| title_auth | A logical approach to discrete math |
| title_exact_search | A logical approach to discrete math |
| title_full | A logical approach to discrete math David Gries ; Fred B. Schneider |
| title_fullStr | A logical approach to discrete math David Gries ; Fred B. Schneider |
| title_full_unstemmed | A logical approach to discrete math David Gries ; Fred B. Schneider |
| title_short | A logical approach to discrete math |
| title_sort | a logical approach to discrete math |
| topic | Informatique - Mathématiques ram Logique ram Mathématiques calcul propositionnel inriac calcul prédicat inriac induction mathématique inriac mathématique discrète inriac prédicat inriac quantification inriac relation récurrence inriac théorie graphe inriac Mathematik Mathematics Diskrete Mathematik (DE-588)4129143-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Informatique - Mathématiques Logique Mathématiques calcul propositionnel calcul prédicat induction mathématique mathématique discrète prédicat quantification relation récurrence théorie graphe Mathematik Mathematics Diskrete Mathematik Mathematische Logik |
| work_keys_str_mv | AT griesdavid alogicalapproachtodiscretemath |
Paper/Kapitel scannen lassen
Bibliotheksmagazin
| Signatur: |
0001 94 A 886 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |