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: | |
Beschreibung: | VIII, 318 S. |
ISBN: | 0893912328 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV002272260 | ||
003 | DE-604 | ||
005 | 20150612 | ||
007 | t | ||
008 | 890928s1986 |||| 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 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-001492968 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804116730127056896 |
---|---|
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>01873nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001492968</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></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV002272260 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T15:43:09Z |
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 |
spelling | Logic programming and its applications ed. by Michel van Caneghem ... Norwood, NJ Ablex Publ. Co. 1986 VIII, 318 S. txt rdacontent n rdamedia nc rdacarrier Ablex series in artificial intelligence 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 rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 PROLOG Programmiersprache (DE-588)4047464-1 s 1\p DE-604 Van Caneghem, Michel Sonstige oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
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 |