Foundations of disjunctive logic programming:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1992
|
| Schriftenreihe: | Logic programming
|
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 275 - 290 |
| Beschreibung: | 307 S. |
| ISBN: | 0262121654 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005856283 | ||
| 003 | DE-604 | ||
| 005 | 20050429 | ||
| 007 | t | ||
| 008 | 921123s1992 |||| 00||| engod | ||
| 020 | |a 0262121654 |9 0-262-12165-4 | ||
| 035 | |a (OCoLC)231402433 | ||
| 035 | |a (DE-599)BVBBV005856283 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-739 |a DE-29T |a DE-210 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Lobo, Jorge |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Foundations of disjunctive logic programming |c Jorge Lobo ; Jack Minker ; Arcot Rajasekar |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1992 | |
| 300 | |a 307 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. 275 - 290 | ||
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a base donnée déductive |2 inriac | |
| 650 | 7 | |a logique disjonctive |2 inriac | |
| 650 | 7 | |a négation |2 inriac | |
| 650 | 7 | |a programmation déclarative |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 4 | |a Logic programming (Computer science) | |
| 650 | 0 | 7 | |a Adjunktion |g Logik |0 (DE-588)4392090-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Adjunktion |g Logik |0 (DE-588)4392090-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Minker, Jack |e Verfasser |4 aut | |
| 700 | 1 | |a Rajasekar, Arcot |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003668730 | ||
Datensatz im Suchindex
| _version_ | 1804120047603417088 |
|---|---|
| any_adam_object | |
| author | Lobo, Jorge Minker, Jack Rajasekar, Arcot |
| author_facet | Lobo, Jorge Minker, Jack Rajasekar, Arcot |
| author_role | aut aut aut |
| author_sort | Lobo, Jorge |
| author_variant | j l jl j m jm a r ar |
| building | Verbundindex |
| bvnumber | BV005856283 |
| 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 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)231402433 (DE-599)BVBBV005856283 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| 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>01796nam a2200529 c 4500</leader><controlfield tag="001">BV005856283</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050429 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921123s1992 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262121654</subfield><subfield code="9">0-262-12165-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)231402433</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005856283</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-29T</subfield><subfield code="a">DE-210</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.1</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="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lobo, Jorge</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of disjunctive logic programming</subfield><subfield code="c">Jorge Lobo ; Jack Minker ; Arcot Rajasekar</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">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">307 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. 275 - 290</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">base donnée déductive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique disjonctive</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">programmation déclarative</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">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Adjunktion</subfield><subfield code="g">Logik</subfield><subfield code="0">(DE-588)4392090-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="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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Adjunktion</subfield><subfield code="g">Logik</subfield><subfield code="0">(DE-588)4392090-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Minker, Jack</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rajasekar, Arcot</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003668730</subfield></datafield></record></collection> |
| id | DE-604.BV005856283 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:35:53Z |
| institution | BVB |
| isbn | 0262121654 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003668730 |
| oclc_num | 231402433 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-739 DE-29T DE-210 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-739 DE-29T DE-210 |
| physical | 307 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Lobo, Jorge Verfasser aut Foundations of disjunctive logic programming Jorge Lobo ; Jack Minker ; Arcot Rajasekar Cambridge, Mass. u.a. MIT Press 1992 307 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Literaturverz. S. 275 - 290 Programmation logique ram base donnée déductive inriac logique disjonctive inriac négation inriac programmation déclarative inriac programmation en logique inriac théorie démonstration inriac Logic programming (Computer science) Adjunktion Logik (DE-588)4392090-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s DE-604 Adjunktion Logik (DE-588)4392090-1 s Minker, Jack Verfasser aut Rajasekar, Arcot Verfasser aut |
| spellingShingle | Lobo, Jorge Minker, Jack Rajasekar, Arcot Foundations of disjunctive logic programming Programmation logique ram base donnée déductive inriac logique disjonctive inriac négation inriac programmation déclarative inriac programmation en logique inriac théorie démonstration inriac Logic programming (Computer science) Adjunktion Logik (DE-588)4392090-1 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4392090-1 (DE-588)4195096-3 |
| title | Foundations of disjunctive logic programming |
| title_auth | Foundations of disjunctive logic programming |
| title_exact_search | Foundations of disjunctive logic programming |
| title_full | Foundations of disjunctive logic programming Jorge Lobo ; Jack Minker ; Arcot Rajasekar |
| title_fullStr | Foundations of disjunctive logic programming Jorge Lobo ; Jack Minker ; Arcot Rajasekar |
| title_full_unstemmed | Foundations of disjunctive logic programming Jorge Lobo ; Jack Minker ; Arcot Rajasekar |
| title_short | Foundations of disjunctive logic programming |
| title_sort | foundations of disjunctive logic programming |
| topic | Programmation logique ram base donnée déductive inriac logique disjonctive inriac négation inriac programmation déclarative inriac programmation en logique inriac théorie démonstration inriac Logic programming (Computer science) Adjunktion Logik (DE-588)4392090-1 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Programmation logique base donnée déductive logique disjonctive négation programmation déclarative programmation en logique théorie démonstration Logic programming (Computer science) Adjunktion Logik Logische Programmierung |
| work_keys_str_mv | AT lobojorge foundationsofdisjunctivelogicprogramming AT minkerjack foundationsofdisjunctivelogicprogramming AT rajasekararcot foundationsofdisjunctivelogicprogramming |