Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998:
"This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific
[1998]
|
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | "This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation."-- |
| Beschreibung: | Title from PDF title page (viewed March 17, 2015) |
| Beschreibung: | 1 online resource (viii, 313 pages) illustrations |
| ISBN: | 9789814528849 9814528846 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044639628 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814528849 |9 978-981-4528-84-9 | ||
| 020 | |a 9814528846 |9 981-4528-84-6 | ||
| 024 | 7 | |a 10.1142/3709 |2 doi | |
| 035 | |a (ZDB-124-WOP)ocn903959846 | ||
| 035 | |a (OCoLC)1012707502 | ||
| 035 | |a (DE-599)BVBBV044639628 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 005.1/14 |2 23 | |
| 110 | 2 | |a Fuji International Symposium on Functional and Logic Programming < 1998, Kyoto, Japan> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 |c editors, Masahiko Sato, Yoshihito Toyama |
| 246 | 1 | 3 | |a Functional and logic programming |
| 246 | 1 | 3 | |a 3rd Fuji International Symposium on Functional and Logic Programming |
| 264 | 1 | |a Singapore |b World Scientific |c [1998] | |
| 264 | 4 | |c © 1998 | |
| 300 | |a 1 online resource (viii, 313 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from PDF title page (viewed March 17, 2015) | ||
| 520 | |a "This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation."-- | ||
| 650 | 4 | |a Functional programming (Computer science) / Congresses | |
| 650 | 4 | |a Logic programming / Congresses | |
| 650 | 4 | |a Electronic books | |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Sato, Masahiko |d 1947- |4 edt | |
| 700 | 1 | |a Toyama, Yoshihito |4 edt | |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/3709#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030037602 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/3709#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178057923133440 |
|---|---|
| any_adam_object | |
| author2 | Sato, Masahiko 1947- Toyama, Yoshihito |
| author2_role | edt edt |
| author2_variant | m s ms y t yt |
| author_corporate | Fuji International Symposium on Functional and Logic Programming < 1998, Kyoto, Japan> |
| author_corporate_role | aut |
| author_facet | Sato, Masahiko 1947- Toyama, Yoshihito Fuji International Symposium on Functional and Logic Programming < 1998, Kyoto, Japan> |
| author_sort | Fuji International Symposium on Functional and Logic Programming < 1998, Kyoto, Japan> |
| building | Verbundindex |
| bvnumber | BV044639628 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)ocn903959846 (OCoLC)1012707502 (DE-599)BVBBV044639628 |
| dewey-full | 005.1/14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/14 |
| dewey-search | 005.1/14 |
| dewey-sort | 15.1 214 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02318nmm a2200481zc 4500</leader><controlfield tag="001">BV044639628</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1998 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814528849</subfield><subfield code="9">978-981-4528-84-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814528846</subfield><subfield code="9">981-4528-84-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/3709</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)ocn903959846</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012707502</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044639628</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/14</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Fuji International Symposium on Functional and Logic Programming < 1998, Kyoto, Japan></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998</subfield><subfield code="c">editors, Masahiko Sato, Yoshihito Toyama</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Functional and logic programming</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">3rd Fuji International Symposium on Functional and Logic Programming</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific</subfield><subfield code="c">[1998]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 313 pages)</subfield><subfield code="b">illustrations</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from PDF title page (viewed March 17, 2015)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation."--</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science) / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic books</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sato, Masahiko</subfield><subfield code="d">1947-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Toyama, Yoshihito</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/3709#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030037602</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="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/3709#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044639628 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:57:56Z |
| institution | BVB |
| isbn | 9789814528849 9814528846 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030037602 |
| oclc_num | 903959846 1012707502 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | 1 online resource (viii, 313 pages) illustrations |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Fuji International Symposium on Functional and Logic Programming < 1998, Kyoto, Japan> Verfasser aut Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 editors, Masahiko Sato, Yoshihito Toyama Functional and logic programming 3rd Fuji International Symposium on Functional and Logic Programming Singapore World Scientific [1998] © 1998 1 online resource (viii, 313 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Title from PDF title page (viewed March 17, 2015) "This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation."-- Functional programming (Computer science) / Congresses Logic programming / Congresses Electronic books 1\p (DE-588)1071861417 Konferenzschrift gnd-content Sato, Masahiko 1947- edt Toyama, Yoshihito edt http://www.worldscientific.com/worldscibooks/10.1142/3709#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 Functional programming (Computer science) / Congresses Logic programming / Congresses Electronic books |
| subject_GND | (DE-588)1071861417 |
| title | Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 |
| title_alt | Functional and logic programming 3rd Fuji International Symposium on Functional and Logic Programming |
| title_auth | Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 |
| title_exact_search | Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 |
| title_full | Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 editors, Masahiko Sato, Yoshihito Toyama |
| title_fullStr | Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 editors, Masahiko Sato, Yoshihito Toyama |
| title_full_unstemmed | Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 editors, Masahiko Sato, Yoshihito Toyama |
| title_short | Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 |
| title_sort | third fuji international symposium on functional and logic programming kyoto japan april 2 4 1998 |
| topic | Functional programming (Computer science) / Congresses Logic programming / Congresses Electronic books |
| topic_facet | Functional programming (Computer science) / Congresses Logic programming / Congresses Electronic books Konferenzschrift |
| url | http://www.worldscientific.com/worldscibooks/10.1142/3709#t=toc |
| work_keys_str_mv | AT fujiinternationalsymposiumonfunctionalandlogicprogramming1998kyotojapan thirdfujiinternationalsymposiumonfunctionalandlogicprogrammingkyotojapanapril241998 AT satomasahiko thirdfujiinternationalsymposiumonfunctionalandlogicprogrammingkyotojapanapril241998 AT toyamayoshihito thirdfujiinternationalsymposiumonfunctionalandlogicprogrammingkyotojapanapril241998 AT fujiinternationalsymposiumonfunctionalandlogicprogramming1998kyotojapan functionalandlogicprogramming AT satomasahiko functionalandlogicprogramming AT toyamayoshihito functionalandlogicprogramming AT fujiinternationalsymposiumonfunctionalandlogicprogramming1998kyotojapan 3rdfujiinternationalsymposiumonfunctionalandlogicprogramming AT satomasahiko 3rdfujiinternationalsymposiumonfunctionalandlogicprogramming AT toyamayoshihito 3rdfujiinternationalsymposiumonfunctionalandlogicprogramming |