Advances in logic programming theory:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
1994
|
| Schriftenreihe: | International schools for computer scientists
|
| Schlagworte: | |
| Beschreibung: | XIV, 254 S. graph. Darst. |
| ISBN: | 0198538537 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010076548 | ||
| 003 | DE-604 | ||
| 005 | 20021023 | ||
| 007 | t | ||
| 008 | 950303s1994 d||| |||| 00||| eng d | ||
| 020 | |a 0198538537 |9 0-19-853853-7 | ||
| 035 | |a (OCoLC)636802977 | ||
| 035 | |a (DE-599)BVBBV010076548 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-384 |a DE-473 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 245 | 1 | 0 | |a Advances in logic programming theory |c ed. by Giorgio Levi |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1994 | |
| 300 | |a XIV, 254 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a International schools for computer scientists | |
| 650 | 7 | |a Gödel |2 inriap | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a Prolog (langage de programmation) |2 ram | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a négation |2 inriac | |
| 650 | 7 | |a preuve |2 inriac | |
| 650 | 7 | |a programmation avec contrainte |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 4 | |a Logic programming | |
| 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 | |
| 700 | 1 | |a Levi, Giorgio |d 1942- |e Sonstige |0 (DE-588)1077828853 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006687699 | ||
Datensatz im Suchindex
| _version_ | 1804124464542121984 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)1077828853 |
| building | Verbundindex |
| bvnumber | BV010076548 |
| 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 240 |
| ctrlnum | (OCoLC)636802977 (DE-599)BVBBV010076548 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| 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>01532nam a2200469 c 4500</leader><controlfield tag="001">BV010076548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021023 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950303s1994 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198538537</subfield><subfield code="9">0-19-853853-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)636802977</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010076548</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</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</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in logic programming theory</subfield><subfield code="c">ed. by Giorgio Levi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 254 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">International schools for computer scientists</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Gödel</subfield><subfield code="2">inriap</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">Prolog (langage de programmation)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">négation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">preuve</subfield><subfield code="2">inriac</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="4"><subfield code="a">Logic programming</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="700" ind1="1" ind2=" "><subfield code="a">Levi, Giorgio</subfield><subfield code="d">1942-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1077828853</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006687699</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV010076548 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:46:05Z |
| institution | BVB |
| isbn | 0198538537 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006687699 |
| oclc_num | 636802977 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-473 DE-BY-UBG |
| owner_facet | DE-739 DE-384 DE-473 DE-BY-UBG |
| physical | XIV, 254 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Clarendon Press |
| record_format | marc |
| series2 | International schools for computer scientists |
| spelling | Advances in logic programming theory ed. by Giorgio Levi Oxford Clarendon Press 1994 XIV, 254 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International schools for computer scientists Gödel inriap PROLOG inriac Programmation logique ram Prolog (langage de programmation) ram concurrence inriac négation inriac preuve inriac programmation avec contrainte inriac programmation en logique inriac Logic programming 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 Levi, Giorgio 1942- Sonstige (DE-588)1077828853 oth |
| spellingShingle | Advances in logic programming theory Gödel inriap PROLOG inriac Programmation logique ram Prolog (langage de programmation) ram concurrence inriac négation inriac preuve inriac programmation avec contrainte inriac programmation en logique inriac Logic programming Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4143413-4 |
| title | Advances in logic programming theory |
| title_auth | Advances in logic programming theory |
| title_exact_search | Advances in logic programming theory |
| title_full | Advances in logic programming theory ed. by Giorgio Levi |
| title_fullStr | Advances in logic programming theory ed. by Giorgio Levi |
| title_full_unstemmed | Advances in logic programming theory ed. by Giorgio Levi |
| title_short | Advances in logic programming theory |
| title_sort | advances in logic programming theory |
| topic | Gödel inriap PROLOG inriac Programmation logique ram Prolog (langage de programmation) ram concurrence inriac négation inriac preuve inriac programmation avec contrainte inriac programmation en logique inriac Logic programming Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Gödel PROLOG Programmation logique Prolog (langage de programmation) concurrence négation preuve programmation avec contrainte programmation en logique Logic programming Logische Programmierung Aufsatzsammlung |
| work_keys_str_mv | AT levigiorgio advancesinlogicprogrammingtheory |