Modèles logiques et systèmes d'intelligence artificielle:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | French |
| Veröffentlicht: |
Paris
Hermès
1990
|
| Schriftenreihe: | Traité des nouvelles technologies : S'erie intelligence artificielle
|
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 352 S. graph. Darst. |
| ISBN: | 2866012054 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006595219 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 930210s1990 xx d||| |||| 10||| fre d | ||
| 020 | |a 2866012054 |9 2-86601-205-4 | ||
| 035 | |a (OCoLC)25217857 | ||
| 035 | |a (DE-599)BVBBV006595219 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-739 |a DE-19 | ||
| 082 | 0 | |a 006.3 | |
| 245 | 1 | 0 | |a Modèles logiques et systèmes d'intelligence artificielle |c coordonateurs Luisa Iturrioz ... |
| 264 | 1 | |a Paris |b Hermès |c 1990 | |
| 300 | |a 352 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Traité des nouvelles technologies : S'erie intelligence artificielle | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Bases de connaissances - Congrès | |
| 650 | 4 | |a Intelligence artificielle - Congrès | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 4 | |a Logique symbolique et mathématique - Congrès | |
| 650 | 7 | |a PLASTEX |2 inriac | |
| 650 | 4 | |a Systèmes experts (Informatique) - Congrès | |
| 650 | 7 | |a base connaissance |2 inriac | |
| 650 | 7 | |a base donnée déductive |2 inriac | |
| 650 | 7 | |a information incomplète |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a logique défaut |2 inriac | |
| 650 | 7 | |a logique floue |2 inriac | |
| 650 | 7 | |a logique intuitionniste |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique plurivalente |2 inriac | |
| 650 | 7 | |a modèle logique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a raisonnement approximatif |2 inriac | |
| 650 | 7 | |a raisonnement temporel |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 7 | |a système base connaissance |2 inriac | |
| 650 | 7 | |a système expert |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Iturrioz, Luisa |e Sonstige |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004211233 | |
Datensatz im Suchindex
| _version_ | 1820868283706900480 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV006595219 |
| classification_rvk | SS 1987 |
| ctrlnum | (OCoLC)25217857 (DE-599)BVBBV006595219 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| 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>00000nam a2200000 c 4500</leader><controlfield tag="001">BV006595219</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1990 xx d||| |||| 10||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2866012054</subfield><subfield code="9">2-86601-205-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25217857</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006595219</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">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modèles logiques et systèmes d'intelligence artificielle</subfield><subfield code="c">coordonateurs Luisa Iturrioz ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Hermès</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">352 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">Traité des nouvelles technologies : S'erie intelligence artificielle</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bases de connaissances - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PLASTEX</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes experts (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base connaissance</subfield><subfield code="2">inriac</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">information incomplète</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique défaut</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique floue</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique intuitionniste</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 modale</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique plurivalente</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle logique</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">raisonnement approximatif</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement temporel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">représentation connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système base connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système expert</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">Künstliche Intelligenz</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Iturrioz, Luisa</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004211233</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV006595219 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:55Z |
| institution | BVB |
| isbn | 2866012054 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004211233 |
| oclc_num | 25217857 |
| open_access_boolean | |
| owner | DE-739 DE-19 DE-BY-UBM |
| owner_facet | DE-739 DE-19 DE-BY-UBM |
| physical | 352 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Hermès |
| record_format | marc |
| series2 | Traité des nouvelles technologies : S'erie intelligence artificielle |
| spelling | Modèles logiques et systèmes d'intelligence artificielle coordonateurs Luisa Iturrioz ... Paris Hermès 1990 352 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Traité des nouvelles technologies : S'erie intelligence artificielle Literaturangaben Bases de connaissances - Congrès Intelligence artificielle - Congrès Intelligence artificielle ram Logique symbolique et mathématique - Congrès PLASTEX inriac Systèmes experts (Informatique) - Congrès base connaissance inriac base donnée déductive inriac information incomplète inriac intelligence artificielle inriac logique défaut inriac logique floue inriac logique intuitionniste inriac logique mathématique inriac logique modale inriac logique plurivalente inriac modèle logique inriac programmation en logique inriac raisonnement approximatif inriac raisonnement temporel inriac représentation connaissance inriac système base connaissance inriac système expert inriac théorie démonstration inriac Künstliche Intelligenz (DE-588)1071861417 Konferenzschrift gnd-content Iturrioz, Luisa Sonstige oth |
| spellingShingle | Modèles logiques et systèmes d'intelligence artificielle Bases de connaissances - Congrès Intelligence artificielle - Congrès Intelligence artificielle ram Logique symbolique et mathématique - Congrès PLASTEX inriac Systèmes experts (Informatique) - Congrès base connaissance inriac base donnée déductive inriac information incomplète inriac intelligence artificielle inriac logique défaut inriac logique floue inriac logique intuitionniste inriac logique mathématique inriac logique modale inriac logique plurivalente inriac modèle logique inriac programmation en logique inriac raisonnement approximatif inriac raisonnement temporel inriac représentation connaissance inriac système base connaissance inriac système expert inriac théorie démonstration inriac Künstliche Intelligenz |
| subject_GND | (DE-588)1071861417 |
| title | Modèles logiques et systèmes d'intelligence artificielle |
| title_auth | Modèles logiques et systèmes d'intelligence artificielle |
| title_exact_search | Modèles logiques et systèmes d'intelligence artificielle |
| title_full | Modèles logiques et systèmes d'intelligence artificielle coordonateurs Luisa Iturrioz ... |
| title_fullStr | Modèles logiques et systèmes d'intelligence artificielle coordonateurs Luisa Iturrioz ... |
| title_full_unstemmed | Modèles logiques et systèmes d'intelligence artificielle coordonateurs Luisa Iturrioz ... |
| title_short | Modèles logiques et systèmes d'intelligence artificielle |
| title_sort | modeles logiques et systemes d intelligence artificielle |
| topic | Bases de connaissances - Congrès Intelligence artificielle - Congrès Intelligence artificielle ram Logique symbolique et mathématique - Congrès PLASTEX inriac Systèmes experts (Informatique) - Congrès base connaissance inriac base donnée déductive inriac information incomplète inriac intelligence artificielle inriac logique défaut inriac logique floue inriac logique intuitionniste inriac logique mathématique inriac logique modale inriac logique plurivalente inriac modèle logique inriac programmation en logique inriac raisonnement approximatif inriac raisonnement temporel inriac représentation connaissance inriac système base connaissance inriac système expert inriac théorie démonstration inriac Künstliche Intelligenz |
| topic_facet | Bases de connaissances - Congrès Intelligence artificielle - Congrès Intelligence artificielle Logique symbolique et mathématique - Congrès PLASTEX Systèmes experts (Informatique) - Congrès base connaissance base donnée déductive information incomplète intelligence artificielle logique défaut logique floue logique intuitionniste logique mathématique logique modale logique plurivalente modèle logique programmation en logique raisonnement approximatif raisonnement temporel représentation connaissance système base connaissance système expert théorie démonstration Künstliche Intelligenz Konferenzschrift |
| work_keys_str_mv | AT iturriozluisa modeleslogiquesetsystemesdintelligenceartificielle |