Parallel logic programming:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1991
|
| Schriftenreihe: | Logic programming
|
| Schlagworte: | |
| Beschreibung: | 486 S. graph. Darst. |
| ISBN: | 0262200872 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005485208 | ||
| 003 | DE-604 | ||
| 005 | 19940310 | ||
| 007 | t | ||
| 008 | 920820s1991 d||| |||| 00||| eng d | ||
| 020 | |a 0262200872 |9 0-262-20087-2 | ||
| 035 | |a (OCoLC)23357534 | ||
| 035 | |a (DE-599)BVBBV005485208 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-739 |a DE-20 |a DE-29T |a DE-473 | ||
| 050 | 0 | |a QA76.642 | |
| 082 | 0 | |a 004/.35 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Tick, Evan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Parallel logic programming |c Evan Tick |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1991 | |
| 300 | |a 486 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 4 | |a Programmation parallèle (Informatique) | |
| 650 | 7 | |a Programmation parallèle (informatique) |2 ram | |
| 650 | 7 | |a arbre |2 inriac | |
| 650 | 7 | |a chemin optimal |2 inriac | |
| 650 | 7 | |a circuit NAND |2 inriac | |
| 650 | 7 | |a clause Horn |2 inriac | |
| 650 | 7 | |a demi-groupe |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation parallèle |2 inriac | |
| 650 | 7 | |a triangle Pascal |2 inriac | |
| 650 | 4 | |a Parallel logic programming | |
| 650 | 0 | 7 | |a Logische Programmiersprache |0 (DE-588)4279802-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 1 | 1 | |a Logische Programmiersprache |0 (DE-588)4279802-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003434066 | ||
Datensatz im Suchindex
| _version_ | 1804119699720503296 |
|---|---|
| any_adam_object | |
| author | Tick, Evan |
| author_facet | Tick, Evan |
| author_role | aut |
| author_sort | Tick, Evan |
| author_variant | e t et |
| building | Verbundindex |
| bvnumber | BV005485208 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.642 |
| callnumber-search | QA76.642 |
| callnumber-sort | QA 276.642 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 516f DAT 706f |
| ctrlnum | (OCoLC)23357534 (DE-599)BVBBV005485208 |
| dewey-full | 004/.35 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.35 |
| dewey-search | 004/.35 |
| dewey-sort | 14 235 |
| 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>02026nam a2200601 c 4500</leader><controlfield tag="001">BV005485208</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940310 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920820s1991 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262200872</subfield><subfield code="9">0-262-20087-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23357534</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005485208</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.642</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.35</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 516f</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="100" ind1="1" ind2=" "><subfield code="a">Tick, Evan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Parallel logic programming</subfield><subfield code="c">Evan Tick</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">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">486 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="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</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="4"><subfield code="a">Programmation parallèle (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation parallèle (informatique)</subfield><subfield code="2">ram</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">chemin optimal</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">circuit NAND</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">clause Horn</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">demi-groupe</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 parallèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">triangle Pascal</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel logic programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmiersprache</subfield><subfield code="0">(DE-588)4279802-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logische Programmiersprache</subfield><subfield code="0">(DE-588)4279802-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003434066</subfield></datafield></record></collection> |
| id | DE-604.BV005485208 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:30:21Z |
| institution | BVB |
| isbn | 0262200872 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003434066 |
| oclc_num | 23357534 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-739 DE-20 DE-29T DE-473 DE-BY-UBG |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-739 DE-20 DE-29T DE-473 DE-BY-UBG |
| physical | 486 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Tick, Evan Verfasser aut Parallel logic programming Evan Tick Cambridge, Mass. u.a. MIT Press 1991 486 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logic programming PROLOG inriac Programmation logique Programmation logique ram Programmation parallèle (Informatique) Programmation parallèle (informatique) ram arbre inriac chemin optimal inriac circuit NAND inriac clause Horn inriac demi-groupe inriac programmation en logique inriac programmation parallèle inriac triangle Pascal inriac Parallel logic programming Logische Programmiersprache (DE-588)4279802-4 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 s Logische Programmierung (DE-588)4195096-3 s DE-604 Logische Programmiersprache (DE-588)4279802-4 s |
| spellingShingle | Tick, Evan Parallel logic programming PROLOG inriac Programmation logique Programmation logique ram Programmation parallèle (Informatique) Programmation parallèle (informatique) ram arbre inriac chemin optimal inriac circuit NAND inriac clause Horn inriac demi-groupe inriac programmation en logique inriac programmation parallèle inriac triangle Pascal inriac Parallel logic programming Logische Programmiersprache (DE-588)4279802-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| subject_GND | (DE-588)4279802-4 (DE-588)4195096-3 (DE-588)4075860-6 |
| title | Parallel logic programming |
| title_auth | Parallel logic programming |
| title_exact_search | Parallel logic programming |
| title_full | Parallel logic programming Evan Tick |
| title_fullStr | Parallel logic programming Evan Tick |
| title_full_unstemmed | Parallel logic programming Evan Tick |
| title_short | Parallel logic programming |
| title_sort | parallel logic programming |
| topic | PROLOG inriac Programmation logique Programmation logique ram Programmation parallèle (Informatique) Programmation parallèle (informatique) ram arbre inriac chemin optimal inriac circuit NAND inriac clause Horn inriac demi-groupe inriac programmation en logique inriac programmation parallèle inriac triangle Pascal inriac Parallel logic programming Logische Programmiersprache (DE-588)4279802-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| topic_facet | PROLOG Programmation logique Programmation parallèle (Informatique) Programmation parallèle (informatique) arbre chemin optimal circuit NAND clause Horn demi-groupe programmation en logique programmation parallèle triangle Pascal Parallel logic programming Logische Programmiersprache Logische Programmierung Parallelverarbeitung |
| work_keys_str_mv | AT tickevan parallellogicprogramming |