Universal algebra for computer scienctists:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1992
|
| Schriftenreihe: | EATCS monographs on theoretical computer science
25 |
| Schlagworte: | |
| Beschreibung: | XII, 339 S. |
| ISBN: | 3540542809 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009675520 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940627s1992 |||| 00||| eng d | ||
| 020 | |a 3540542809 |9 3-540-54280-9 | ||
| 035 | |a (OCoLC)25718313 | ||
| 035 | |a (DE-599)BVBBV009675520 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 050 | 0 | |a QA251 | |
| 082 | 0 | |a 004/.01/512 |2 20 | |
| 100 | 1 | |a Wechler, Wolfgang |d 1940-1991 |e Verfasser |0 (DE-588)123085853 |4 aut | |
| 245 | 1 | 0 | |a Universal algebra for computer scienctists |c Wolfgang Wechler |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1992 | |
| 300 | |a XII, 339 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a EATCS monographs on theoretical computer science |v 25 | |
| 650 | 4 | |a Algèbre universelle | |
| 650 | 7 | |a Algèbre universelle |2 ram | |
| 650 | 7 | |a algèbre ordonnée |2 inriac | |
| 650 | 7 | |a algèbre universelle |2 inriac | |
| 650 | 7 | |a arbre |2 inriac | |
| 650 | 7 | |a calcul formel |2 inriac | |
| 650 | 7 | |a classe |2 inriac | |
| 650 | 7 | |a déduction |2 inriac | |
| 650 | 7 | |a point fixe |2 inriac | |
| 650 | 7 | |a récursion |2 inriac | |
| 650 | 7 | |a sémantique algébrique |2 inriac | |
| 650 | 7 | |a théorie réduction |2 inriac | |
| 650 | 7 | |a type abstrait |2 inriac | |
| 650 | 4 | |a Algebra, Universal | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006399274 | ||
Datensatz im Suchindex
| _version_ | 1804124021167489024 |
|---|---|
| any_adam_object | |
| author | Wechler, Wolfgang 1940-1991 |
| author_GND | (DE-588)123085853 |
| author_facet | Wechler, Wolfgang 1940-1991 |
| author_role | aut |
| author_sort | Wechler, Wolfgang 1940-1991 |
| author_variant | w w ww |
| building | Verbundindex |
| bvnumber | BV009675520 |
| callnumber-first | Q - Science |
| callnumber-label | QA251 |
| callnumber-raw | QA251 |
| callnumber-search | QA251 |
| callnumber-sort | QA 3251 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)25718313 (DE-599)BVBBV009675520 |
| dewey-full | 004/.01/512 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/512 |
| dewey-search | 004/.01/512 |
| dewey-sort | 14 11 3512 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01388nam a2200457 cb4500</leader><controlfield tag="001">BV009675520</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940627s1992 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540542809</subfield><subfield code="9">3-540-54280-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25718313</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009675520</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-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA251</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/512</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wechler, Wolfgang</subfield><subfield code="d">1940-1991</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123085853</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Universal algebra for computer scienctists</subfield><subfield code="c">Wolfgang Wechler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 339 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="0" ind2=" "><subfield code="a">EATCS monographs on theoretical computer science</subfield><subfield code="v">25</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre universelle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algèbre universelle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre ordonnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre universelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">arbre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">classe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">point fixe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">récursion</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie réduction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">type abstrait</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Universal</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006399274</subfield></datafield></record></collection> |
| id | DE-604.BV009675520 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:39:02Z |
| institution | BVB |
| isbn | 3540542809 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006399274 |
| oclc_num | 25718313 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | XII, 339 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer |
| record_format | marc |
| series2 | EATCS monographs on theoretical computer science |
| spelling | Wechler, Wolfgang 1940-1991 Verfasser (DE-588)123085853 aut Universal algebra for computer scienctists Wolfgang Wechler Berlin u.a. Springer 1992 XII, 339 S. txt rdacontent n rdamedia nc rdacarrier EATCS monographs on theoretical computer science 25 Algèbre universelle Algèbre universelle ram algèbre ordonnée inriac algèbre universelle inriac arbre inriac calcul formel inriac classe inriac déduction inriac point fixe inriac récursion inriac sémantique algébrique inriac théorie réduction inriac type abstrait inriac Algebra, Universal |
| spellingShingle | Wechler, Wolfgang 1940-1991 Universal algebra for computer scienctists Algèbre universelle Algèbre universelle ram algèbre ordonnée inriac algèbre universelle inriac arbre inriac calcul formel inriac classe inriac déduction inriac point fixe inriac récursion inriac sémantique algébrique inriac théorie réduction inriac type abstrait inriac Algebra, Universal |
| title | Universal algebra for computer scienctists |
| title_auth | Universal algebra for computer scienctists |
| title_exact_search | Universal algebra for computer scienctists |
| title_full | Universal algebra for computer scienctists Wolfgang Wechler |
| title_fullStr | Universal algebra for computer scienctists Wolfgang Wechler |
| title_full_unstemmed | Universal algebra for computer scienctists Wolfgang Wechler |
| title_short | Universal algebra for computer scienctists |
| title_sort | universal algebra for computer scienctists |
| topic | Algèbre universelle Algèbre universelle ram algèbre ordonnée inriac algèbre universelle inriac arbre inriac calcul formel inriac classe inriac déduction inriac point fixe inriac récursion inriac sémantique algébrique inriac théorie réduction inriac type abstrait inriac Algebra, Universal |
| topic_facet | Algèbre universelle algèbre ordonnée algèbre universelle arbre calcul formel classe déduction point fixe récursion sémantique algébrique théorie réduction type abstrait Algebra, Universal |
| work_keys_str_mv | AT wechlerwolfgang universalalgebraforcomputerscienctists |