The Haskell road to logic, maths and programming:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
London
College Publ.
2012
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | Texts in computing
4 |
| Schlagwörter: | |
| Umfang: | X, 432 S. graph. Darst. |
| ISBN: | 9780954300692 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041113679 | ||
| 003 | DE-604 | ||
| 005 | 20150115 | ||
| 007 | t| | ||
| 008 | 130628s2012 xx d||| |||| 00||| eng d | ||
| 020 | |a 9780954300692 |9 978-0-9543006-9-2 | ||
| 035 | |a (OCoLC)851645966 | ||
| 035 | |a (DE-599)BVBBV041113679 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-473 |a DE-573 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 005.115 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a 68N18 |2 msc | ||
| 084 | |a 03B40 |2 msc | ||
| 100 | 1 | |a Doets, Kees |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The Haskell road to logic, maths and programming |c Kees Doets ; Jan van Eijck |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a London |b College Publ. |c 2012 | |
| 300 | |a X, 432 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Texts in computing |v 4 | |
| 650 | 7 | |a Functionele programmering |2 gtt | |
| 650 | 7 | |a Haskell (programmeertaal) |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Wiskunde |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a HASKELL |0 (DE-588)4318275-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a HASKELL |0 (DE-588)4318275-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Eijck, Jan van |d 1951- |e Verfasser |0 (DE-588)112411223 |4 aut | |
| 830 | 0 | |a Texts in computing |v 4 |w (DE-604)BV019656459 |9 4 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026089816 | |
Datensatz im Suchindex
| _version_ | 1818977649936039936 |
|---|---|
| any_adam_object | |
| author | Doets, Kees Eijck, Jan van 1951- |
| author_GND | (DE-588)112411223 |
| author_facet | Doets, Kees Eijck, Jan van 1951- |
| author_role | aut aut |
| author_sort | Doets, Kees |
| author_variant | k d kd j v e jv jve |
| building | Verbundindex |
| bvnumber | BV041113679 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 250 |
| ctrlnum | (OCoLC)851645966 (DE-599)BVBBV041113679 |
| dewey-full | 005.115 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.115 |
| dewey-search | 005.115 |
| dewey-sort | 15.115 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01600nam a2200517 cb4500</leader><controlfield tag="001">BV041113679</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150115 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130628s2012 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780954300692</subfield><subfield code="9">978-0-9543006-9-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)851645966</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041113679</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.115</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68N18</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B40</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Doets, Kees</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Haskell road to logic, maths and programming</subfield><subfield code="c">Kees Doets ; Jan van Eijck</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">College Publ.</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 432 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">Texts in computing</subfield><subfield code="v">4</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functionele programmering</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Haskell (programmeertaal)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">HASKELL</subfield><subfield code="0">(DE-588)4318275-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">HASKELL</subfield><subfield code="0">(DE-588)4318275-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eijck, Jan van</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112411223</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Texts in computing</subfield><subfield code="v">4</subfield><subfield code="w">(DE-604)BV019656459</subfield><subfield code="9">4</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026089816</subfield></datafield></record></collection> |
| id | DE-604.BV041113679 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T16:31:06Z |
| institution | BVB |
| isbn | 9780954300692 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026089816 |
| oclc_num | 851645966 |
| open_access_boolean | |
| owner | DE-83 DE-473 DE-BY-UBG DE-573 |
| owner_facet | DE-83 DE-473 DE-BY-UBG DE-573 |
| physical | X, 432 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | College Publ. |
| record_format | marc |
| series | Texts in computing |
| series2 | Texts in computing |
| spelling | Doets, Kees Verfasser aut The Haskell road to logic, maths and programming Kees Doets ; Jan van Eijck 2. ed. London College Publ. 2012 X, 432 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Texts in computing 4 Functionele programmering gtt Haskell (programmeertaal) gtt Logica gtt Wiskunde gtt Logik Mathematik Logic programming Logic, Symbolic and mathematical HASKELL (DE-588)4318275-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s HASKELL (DE-588)4318275-6 s DE-604 Eijck, Jan van 1951- Verfasser (DE-588)112411223 aut Texts in computing 4 (DE-604)BV019656459 4 |
| spellingShingle | Doets, Kees Eijck, Jan van 1951- The Haskell road to logic, maths and programming Texts in computing Functionele programmering gtt Haskell (programmeertaal) gtt Logica gtt Wiskunde gtt Logik Mathematik Logic programming Logic, Symbolic and mathematical HASKELL (DE-588)4318275-6 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4318275-6 (DE-588)4036202-4 |
| title | The Haskell road to logic, maths and programming |
| title_auth | The Haskell road to logic, maths and programming |
| title_exact_search | The Haskell road to logic, maths and programming |
| title_full | The Haskell road to logic, maths and programming Kees Doets ; Jan van Eijck |
| title_fullStr | The Haskell road to logic, maths and programming Kees Doets ; Jan van Eijck |
| title_full_unstemmed | The Haskell road to logic, maths and programming Kees Doets ; Jan van Eijck |
| title_short | The Haskell road to logic, maths and programming |
| title_sort | the haskell road to logic maths and programming |
| topic | Functionele programmering gtt Haskell (programmeertaal) gtt Logica gtt Wiskunde gtt Logik Mathematik Logic programming Logic, Symbolic and mathematical HASKELL (DE-588)4318275-6 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Functionele programmering Haskell (programmeertaal) Logica Wiskunde Logik Mathematik Logic programming Logic, Symbolic and mathematical HASKELL |
| volume_link | (DE-604)BV019656459 |
| work_keys_str_mv | AT doetskees thehaskellroadtologicmathsandprogramming AT eijckjanvan thehaskellroadtologicmathsandprogramming |