Logic programming languages: constraints, functions, and objects
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Cambridge, Mass.
MIT Press
c1993
|
Schriftenreihe: | Logic programming
|
Schlagworte: | |
Online-Zugang: | FHA01 FHI01 Volltext |
Beschreibung: | Includes bibliographical references (p. [185]-201) |
Beschreibung: | 1 Online-Ressource (xiv, 204 p.) |
ISBN: | 0262011344 0262255642 9780262011341 9780262255646 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV042509165 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150417s1993 |||| o||u| ||||||eng d | ||
020 | |a 0262011344 |9 0-262-01134-4 | ||
020 | |a 0262255642 |c electronic bk. |9 0-262-25564-2 | ||
020 | |a 9780262011341 |9 978-0-262-01134-1 | ||
020 | |a 9780262255646 |c electronic bk. |9 978-0-262-25564-6 | ||
035 | |a (OCoLC)827303967 | ||
035 | |a (DE-599)BVBBV042509165 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-Aug4 |a DE-573 | ||
082 | 0 | |a 005.13/1 |2 22 | |
245 | 1 | 0 | |a Logic programming languages |b constraints, functions, and objects |c edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten |
264 | 1 | |a Cambridge, Mass. |b MIT Press |c c1993 | |
300 | |a 1 Online-Ressource (xiv, 204 p.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Logic programming | |
500 | |a Includes bibliographical references (p. [185]-201) | ||
650 | 4 | |a programmation par objets | |
650 | 4 | |a programmation avec contrainte | |
650 | 4 | |a programmation fonctionnelle | |
650 | 4 | |a PROLOG. | |
650 | 4 | |a programmation en logique | |
650 | 4 | |a Langages de programmation logiques | |
650 | 7 | |a Logisch programmeren |2 gtt | |
650 | 7 | |a Programmation logique |2 ram | |
650 | 7 | |a Langages de programmation |2 ram | |
650 | 7 | |a Aufsatzsammlung |2 swd | |
650 | 7 | |a Logische Programmierung |2 swd | |
650 | 7 | |a Programmiersprache |2 swd | |
650 | 7 | |a Logic programming languages |2 fast | |
650 | 4 | |a Logic programming languages | |
650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
689 | 0 | 1 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
700 | 1 | |a Apt, Krzysztof R. |e Sonstige |4 oth | |
700 | 1 | |a Bakker, J. W. de |e Sonstige |4 oth | |
700 | 1 | |a Rutten, J. J. M. M. |e Sonstige |4 oth | |
856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211 |x Verlag |3 Volltext |
912 | |a ZDB-37-IEM | ||
940 | 1 | |q ZDB-37-IEM_GB/15 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-027943729 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804153253404868608 |
---|---|
any_adam_object | |
building | Verbundindex |
bvnumber | BV042509165 |
collection | ZDB-37-IEM |
ctrlnum | (OCoLC)827303967 (DE-599)BVBBV042509165 |
dewey-full | 005.13/1 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.13/1 |
dewey-search | 005.13/1 |
dewey-sort | 15.13 11 |
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>02722nmm a2200673zc 4500</leader><controlfield tag="001">BV042509165</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262011344</subfield><subfield code="9">0-262-01134-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262255642</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-25564-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262011341</subfield><subfield code="9">978-0-262-01134-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262255646</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-25564-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827303967</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509165</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming languages</subfield><subfield code="b">constraints, functions, and objects</subfield><subfield code="c">edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 204 p.)</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="490" ind1="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [185]-201)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation par objets</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation avec contrainte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation fonctionnelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">PROLOG.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation en logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation logiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming languages</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming languages</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bakker, J. W. de</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rutten, J. J. M. M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-37-IEM_GB/15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027943729</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="883" ind1="1" ind2=" "><subfield code="8">2\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://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV042509165 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:23:40Z |
institution | BVB |
isbn | 0262011344 0262255642 9780262011341 9780262255646 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943729 |
oclc_num | 827303967 |
open_access_boolean | |
owner | DE-Aug4 DE-573 |
owner_facet | DE-Aug4 DE-573 |
physical | 1 Online-Ressource (xiv, 204 p.) |
psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
publishDate | 1993 |
publishDateSearch | 1993 |
publishDateSort | 1993 |
publisher | MIT Press |
record_format | marc |
series2 | Logic programming |
spelling | Logic programming languages constraints, functions, and objects edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten Cambridge, Mass. MIT Press c1993 1 Online-Ressource (xiv, 204 p.) txt rdacontent c rdamedia cr rdacarrier Logic programming Includes bibliographical references (p. [185]-201) programmation par objets programmation avec contrainte programmation fonctionnelle PROLOG. programmation en logique Langages de programmation logiques Logisch programmeren gtt Programmation logique ram Langages de programmation ram Aufsatzsammlung swd Logische Programmierung swd Programmiersprache swd Logic programming languages fast Logic programming languages Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Logische Programmierung (DE-588)4195096-3 s Programmiersprache (DE-588)4047409-4 s 2\p DE-604 Apt, Krzysztof R. Sonstige oth Bakker, J. W. de Sonstige oth Rutten, J. J. M. M. Sonstige oth http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Logic programming languages constraints, functions, and objects programmation par objets programmation avec contrainte programmation fonctionnelle PROLOG. programmation en logique Langages de programmation logiques Logisch programmeren gtt Programmation logique ram Langages de programmation ram Aufsatzsammlung swd Logische Programmierung swd Programmiersprache swd Logic programming languages fast Logic programming languages Logische Programmierung (DE-588)4195096-3 gnd Programmiersprache (DE-588)4047409-4 gnd |
subject_GND | (DE-588)4195096-3 (DE-588)4047409-4 (DE-588)4143413-4 |
title | Logic programming languages constraints, functions, and objects |
title_auth | Logic programming languages constraints, functions, and objects |
title_exact_search | Logic programming languages constraints, functions, and objects |
title_full | Logic programming languages constraints, functions, and objects edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten |
title_fullStr | Logic programming languages constraints, functions, and objects edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten |
title_full_unstemmed | Logic programming languages constraints, functions, and objects edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten |
title_short | Logic programming languages |
title_sort | logic programming languages constraints functions and objects |
title_sub | constraints, functions, and objects |
topic | programmation par objets programmation avec contrainte programmation fonctionnelle PROLOG. programmation en logique Langages de programmation logiques Logisch programmeren gtt Programmation logique ram Langages de programmation ram Aufsatzsammlung swd Logische Programmierung swd Programmiersprache swd Logic programming languages fast Logic programming languages Logische Programmierung (DE-588)4195096-3 gnd Programmiersprache (DE-588)4047409-4 gnd |
topic_facet | programmation par objets programmation avec contrainte programmation fonctionnelle PROLOG. programmation en logique Langages de programmation logiques Logisch programmeren Programmation logique Langages de programmation Aufsatzsammlung Logische Programmierung Programmiersprache Logic programming languages |
url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211 |
work_keys_str_mv | AT aptkrzysztofr logicprogramminglanguagesconstraintsfunctionsandobjects AT bakkerjwde logicprogramminglanguagesconstraintsfunctionsandobjects AT ruttenjjmm logicprogramminglanguagesconstraintsfunctionsandobjects |