Logic programming languages: constraints, functions, and objects
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Press
1993
|
| Series: | Logic programming
|
| Subjects: | |
| Item Description: | Literaturverz. S. [185] - 201 |
| Physical Description: | XIV, 204 S. |
| ISBN: | 0262011344 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007312180 | ||
| 003 | DE-604 | ||
| 005 | 19940506 | ||
| 007 | t | ||
| 008 | 930512s1993 |||| 00||| engod | ||
| 020 | |a 0262011344 |9 0-262-01134-4 | ||
| 035 | |a (OCoLC)27264869 | ||
| 035 | |a (DE-599)BVBBV007312180 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-634 |a DE-11 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 315f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming languages |b constraints, functions, and objects |c ed. by K. R. Apt ... |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1993 | |
| 300 | |a XIV, 204 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 500 | |a Literaturverz. S. [185] - 201 | ||
| 650 | 4 | |a Langages de programmation logiques | |
| 650 | 7 | |a Langages de programmation |2 ram | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a programmation avec contrainte |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a programmation par objets |2 inriac | |
| 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 | |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 | |5 DE-604 | |
| 700 | 1 | |a Apt, Krzysztof R. |d 1949- |e Sonstige |0 (DE-588)110139763 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004704337 | ||
Record in the Search Index
| _version_ | 1804121546442145792 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)110139763 |
| building | Verbundindex |
| bvnumber | BV007312180 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 544f DAT 706f DAT 315f |
| ctrlnum | (OCoLC)27264869 (DE-599)BVBBV007312180 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01867nam a2200541 c 4500</leader><controlfield tag="001">BV007312180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940506 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930512s1993 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262011344</subfield><subfield code="9">0-262-01134-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27264869</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007312180</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</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">ed. by K. R. Apt ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 204 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">Logic programming</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [185] - 201</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">Langages de programmation</subfield><subfield code="2">ram</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">PROLOG</subfield><subfield code="2">inriac</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">programmation avec contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation par objets</subfield><subfield code="2">inriac</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="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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004704337</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV007312180 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:59:42Z |
| institution | BVB |
| isbn | 0262011344 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004704337 |
| oclc_num | 27264869 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-634 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-634 DE-11 |
| physical | XIV, 204 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Logic programming languages constraints, functions, and objects ed. by K. R. Apt ... Cambridge, Mass. u.a. MIT Press 1993 XIV, 204 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Literaturverz. S. [185] - 201 Langages de programmation logiques Langages de programmation ram Logisch programmeren gtt PROLOG inriac Programmation logique ram programmation avec contrainte inriac programmation en logique inriac programmation fonctionnelle inriac programmation par objets inriac Logic programming languages Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Logische Programmierung (DE-588)4195096-3 s Programmiersprache (DE-588)4047409-4 s DE-604 Apt, Krzysztof R. 1949- Sonstige (DE-588)110139763 oth |
| spellingShingle | Logic programming languages constraints, functions, and objects Langages de programmation logiques Langages de programmation ram Logisch programmeren gtt PROLOG inriac Programmation logique ram programmation avec contrainte inriac programmation en logique inriac programmation fonctionnelle inriac programmation par objets inriac 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 ed. by K. R. Apt ... |
| title_fullStr | Logic programming languages constraints, functions, and objects ed. by K. R. Apt ... |
| title_full_unstemmed | Logic programming languages constraints, functions, and objects ed. by K. R. Apt ... |
| title_short | Logic programming languages |
| title_sort | logic programming languages constraints functions and objects |
| title_sub | constraints, functions, and objects |
| topic | Langages de programmation logiques Langages de programmation ram Logisch programmeren gtt PROLOG inriac Programmation logique ram programmation avec contrainte inriac programmation en logique inriac programmation fonctionnelle inriac programmation par objets inriac Logic programming languages Logische Programmierung (DE-588)4195096-3 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Langages de programmation logiques Langages de programmation Logisch programmeren PROLOG Programmation logique programmation avec contrainte programmation en logique programmation fonctionnelle programmation par objets Logic programming languages Logische Programmierung Programmiersprache Aufsatzsammlung |
| work_keys_str_mv | AT aptkrzysztofr logicprogramminglanguagesconstraintsfunctionsandobjects |