Logic program synthesis from incomplete information:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Kluwer
1995
|
| Schriftenreihe: | The Kluwer international series in engineering and computer science
295 |
| Schlagworte: | |
| Beschreibung: | XVIII, 242 S. graph. Darst. |
| ISBN: | 0792395328 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010337658 | ||
| 003 | DE-604 | ||
| 005 | 20041125 | ||
| 007 | t | ||
| 008 | 950810s1995 d||| |||| 00||| eng d | ||
| 020 | |a 0792395328 |9 0-7923-9532-8 | ||
| 035 | |a (OCoLC)31295100 | ||
| 035 | |a (DE-599)BVBBV010337658 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-473 |a DE-83 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1/1 |2 20 | |
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Flener, Pierre |d 1964- |e Verfasser |0 (DE-588)120854902 |4 aut | |
| 245 | 1 | 0 | |a Logic program synthesis from incomplete information |c by Pierre Flener |
| 264 | 1 | |a Boston [u.a.] |b Kluwer |c 1995 | |
| 300 | |a XVIII, 242 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a The Kluwer international series in engineering and computer science |v 295 | |
| 650 | 7 | |a Programmation automatique |2 ram | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a apprentissage machine |2 inriac | |
| 650 | 7 | |a inférence déductive |2 inriac | |
| 650 | 7 | |a logique induction |2 inriac | |
| 650 | 7 | |a programmation assistée |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 4 | |a Logic programming | |
| 650 | 0 | 7 | |a Unvollkommene Information |0 (DE-588)4140474-9 |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 Programmsynthese |0 (DE-588)4295513-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Programmsynthese |0 (DE-588)4295513-0 |D s |
| 689 | 0 | 2 | |a Unvollkommene Information |0 (DE-588)4140474-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a The Kluwer international series in engineering and computer science |v 295 |w (DE-604)BV023545171 |9 295 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006880389 | ||
Datensatz im Suchindex
| _version_ | 1804124758784081920 |
|---|---|
| any_adam_object | |
| author | Flener, Pierre 1964- |
| author_GND | (DE-588)120854902 |
| author_facet | Flener, Pierre 1964- |
| author_role | aut |
| author_sort | Flener, Pierre 1964- |
| author_variant | p f pf |
| building | Verbundindex |
| bvnumber | BV010337658 |
| 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 136 ST 230 |
| ctrlnum | (OCoLC)31295100 (DE-599)BVBBV010337658 |
| dewey-full | 005.1/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/1 |
| dewey-search | 005.1/1 |
| dewey-sort | 15.1 11 |
| 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>01902nam a2200505 cb4500</leader><controlfield tag="001">BV010337658</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20041125 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950810s1995 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792395328</subfield><subfield code="9">0-7923-9532-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31295100</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010337658</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-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-83</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/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Flener, Pierre</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120854902</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic program synthesis from incomplete information</subfield><subfield code="c">by Pierre Flener</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 242 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="1" ind2=" "><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">295</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation automatique</subfield><subfield code="2">ram</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">apprentissage machine</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">inférence déductive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique induction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation assistée</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">Unvollkommene Information</subfield><subfield code="0">(DE-588)4140474-9</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">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</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="1"><subfield code="a">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Unvollkommene Information</subfield><subfield code="0">(DE-588)4140474-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">295</subfield><subfield code="w">(DE-604)BV023545171</subfield><subfield code="9">295</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006880389</subfield></datafield></record></collection> |
| id | DE-604.BV010337658 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:50:46Z |
| institution | BVB |
| isbn | 0792395328 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006880389 |
| oclc_num | 31295100 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-83 |
| physical | XVIII, 242 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Kluwer |
| record_format | marc |
| series | The Kluwer international series in engineering and computer science |
| series2 | The Kluwer international series in engineering and computer science |
| spelling | Flener, Pierre 1964- Verfasser (DE-588)120854902 aut Logic program synthesis from incomplete information by Pierre Flener Boston [u.a.] Kluwer 1995 XVIII, 242 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier The Kluwer international series in engineering and computer science 295 Programmation automatique ram Programmation logique ram apprentissage machine inriac inférence déductive inriac logique induction inriac programmation assistée inriac programmation en logique inriac Logic programming Unvollkommene Information (DE-588)4140474-9 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s Programmsynthese (DE-588)4295513-0 s Unvollkommene Information (DE-588)4140474-9 s DE-604 The Kluwer international series in engineering and computer science 295 (DE-604)BV023545171 295 |
| spellingShingle | Flener, Pierre 1964- Logic program synthesis from incomplete information The Kluwer international series in engineering and computer science Programmation automatique ram Programmation logique ram apprentissage machine inriac inférence déductive inriac logique induction inriac programmation assistée inriac programmation en logique inriac Logic programming Unvollkommene Information (DE-588)4140474-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmsynthese (DE-588)4295513-0 gnd |
| subject_GND | (DE-588)4140474-9 (DE-588)4195096-3 (DE-588)4295513-0 |
| title | Logic program synthesis from incomplete information |
| title_auth | Logic program synthesis from incomplete information |
| title_exact_search | Logic program synthesis from incomplete information |
| title_full | Logic program synthesis from incomplete information by Pierre Flener |
| title_fullStr | Logic program synthesis from incomplete information by Pierre Flener |
| title_full_unstemmed | Logic program synthesis from incomplete information by Pierre Flener |
| title_short | Logic program synthesis from incomplete information |
| title_sort | logic program synthesis from incomplete information |
| topic | Programmation automatique ram Programmation logique ram apprentissage machine inriac inférence déductive inriac logique induction inriac programmation assistée inriac programmation en logique inriac Logic programming Unvollkommene Information (DE-588)4140474-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmsynthese (DE-588)4295513-0 gnd |
| topic_facet | Programmation automatique Programmation logique apprentissage machine inférence déductive logique induction programmation assistée programmation en logique Logic programming Unvollkommene Information Logische Programmierung Programmsynthese |
| volume_link | (DE-604)BV023545171 |
| work_keys_str_mv | AT flenerpierre logicprogramsynthesisfromincompleteinformation |