Logic programming and its applications
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Norwood, NJ
Ablex Publ. Co.
1986
|
Schriftenreihe: | Ablex series in artificial intelligence
|
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV002272260 | ||
003 | DE-604 | ||
005 | 20150612 | ||
007 | t| | ||
008 | 890928s1986 xx |||| 00||| eng d | ||
020 | |a 0893912328 |9 0-89391-232-8 | ||
035 | |a (OCoLC)11488506 | ||
035 | |a (DE-599)BVBBV002272260 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91G |a DE-29T |a DE-19 |a DE-188 | ||
050 | 0 | |a QA76.6 | |
082 | 0 | |a 001.64/2 |2 19 | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a DAT 706f |2 stub | ||
245 | 1 | 0 | |a Logic programming and its applications |c ed. by Michel van Caneghem ... |
264 | 1 | |a Norwood, NJ |b Ablex Publ. Co. |c 1986 | |
300 | |a VIII, 318 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Ablex series in artificial intelligence | |
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 SYLLOG |2 inriac | |
650 | 7 | |a langage naturel |2 inriac | |
650 | 7 | |a logique mathématique |2 inriac | |
650 | 7 | |a logique symbolique |2 inriac | |
650 | 7 | |a programmation en logique |2 inriac | |
650 | 4 | |a Logic programming | |
650 | 4 | |a Programming languages (Electronic computers) | |
650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |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 | |5 DE-604 | |
689 | 1 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
700 | 1 | |a Van Caneghem, Michel |e Sonstige |4 oth | |
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001492968 |
Datensatz im Suchindex
DE-19_call_number | 1101/Mag 12520 1408/CAN I 1 |
---|---|
DE-19_location | 65 80 |
DE-BY-UBM_katkey | 588209 |
DE-BY-UBM_media_number | 41601610250019 41612317870010 |
_version_ | 1823050095654862848 |
any_adam_object | |
building | Verbundindex |
bvnumber | BV002272260 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.6 |
callnumber-search | QA76.6 |
callnumber-sort | QA 276.6 |
callnumber-subject | QA - Mathematics |
classification_rvk | SK 130 |
classification_tum | DAT 706f |
ctrlnum | (OCoLC)11488506 (DE-599)BVBBV002272260 |
dewey-full | 001.64/2 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 001 - Knowledge |
dewey-raw | 001.64/2 |
dewey-search | 001.64/2 |
dewey-sort | 11.64 12 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Allgemeines Informatik Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01874nam a2200541 c 4500</leader><controlfield tag="001">BV002272260</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150612 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1986 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0893912328</subfield><subfield code="9">0-89391-232-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)11488506</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002272260</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-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64/2</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming and its applications</subfield><subfield code="c">ed. by Michel van Caneghem ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Norwood, NJ</subfield><subfield code="b">Ablex Publ. Co.</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 318 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">Ablex series in artificial intelligence</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">SYLLOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage naturel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique symbolique</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="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Van Caneghem, Michel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001492968</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV002272260 |
illustrated | Not Illustrated |
indexdate | 2025-02-03T16:12:11Z |
institution | BVB |
isbn | 0893912328 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001492968 |
oclc_num | 11488506 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM DE-29T DE-19 DE-BY-UBM DE-188 |
owner_facet | DE-91G DE-BY-TUM DE-29T DE-19 DE-BY-UBM DE-188 |
physical | VIII, 318 S. |
publishDate | 1986 |
publishDateSearch | 1986 |
publishDateSort | 1986 |
publisher | Ablex Publ. Co. |
record_format | marc |
series2 | Ablex series in artificial intelligence |
spellingShingle | Logic programming and its applications Langages de programmation ram Logisch programmeren gtt PROLOG inriac Programmation logique ram SYLLOG inriac langage naturel inriac logique mathématique inriac logique symbolique inriac programmation en logique inriac Logic programming Programming languages (Electronic computers) PROLOG Programmiersprache (DE-588)4047464-1 gnd Logische Programmierung (DE-588)4195096-3 gnd |
subject_GND | (DE-588)4047464-1 (DE-588)4195096-3 (DE-588)4143413-4 |
title | Logic programming and its applications |
title_auth | Logic programming and its applications |
title_exact_search | Logic programming and its applications |
title_full | Logic programming and its applications ed. by Michel van Caneghem ... |
title_fullStr | Logic programming and its applications ed. by Michel van Caneghem ... |
title_full_unstemmed | Logic programming and its applications ed. by Michel van Caneghem ... |
title_short | Logic programming and its applications |
title_sort | logic programming and its applications |
topic | Langages de programmation ram Logisch programmeren gtt PROLOG inriac Programmation logique ram SYLLOG inriac langage naturel inriac logique mathématique inriac logique symbolique inriac programmation en logique inriac Logic programming Programming languages (Electronic computers) PROLOG Programmiersprache (DE-588)4047464-1 gnd Logische Programmierung (DE-588)4195096-3 gnd |
topic_facet | Langages de programmation Logisch programmeren PROLOG Programmation logique SYLLOG langage naturel logique mathématique logique symbolique programmation en logique Logic programming Programming languages (Electronic computers) PROLOG Programmiersprache Logische Programmierung Aufsatzsammlung |
work_keys_str_mv | AT vancaneghemmichel logicprogramminganditsapplications |