Logique, réduction, résolution:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | French |
| Veröffentlicht: |
Paris u.a.
Masson
1990
|
| Schriftenreihe: | Études et recherches en informatique
|
| Schlagworte: | |
| Beschreibung: | XII, 370 S. |
| ISBN: | 2225821046 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008974926 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 00||| fre d | ||
| 020 | |a 2225821046 |9 2-225-82104-6 | ||
| 035 | |a (OCoLC)23035107 | ||
| 035 | |a (DE-599)BVBBV008974926 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-29T | ||
| 050 | 0 | |a Q335 | |
| 082 | 1 | |a 511.3 |2 21 | |
| 100 | 1 | |a Lalement, René |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logique, réduction, résolution |c René Lalement |
| 264 | 1 | |a Paris u.a. |b Masson |c 1990 | |
| 300 | |a XII, 370 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Études et recherches en informatique | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 2 | |a Logique | |
| 650 | 7 | |a Programmation dynamique |2 ram | |
| 650 | 2 | |a Traitement automatique des données | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique équationnelle |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a modèle |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a réduction |2 inriac | |
| 650 | 7 | |a résolution problème |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005926442 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804123313024270336 |
|---|---|
| any_adam_object | |
| author | Lalement, René |
| author_facet | Lalement, René |
| author_role | aut |
| author_sort | Lalement, René |
| author_variant | r l rl |
| building | Verbundindex |
| bvnumber | BV008974926 |
| callnumber-first | Q - Science |
| callnumber-label | Q335 |
| callnumber-raw | Q335 |
| callnumber-search | Q335 |
| callnumber-sort | Q 3335 |
| callnumber-subject | Q - General Science |
| ctrlnum | (OCoLC)23035107 (DE-599)BVBBV008974926 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02274nam a2200661 c 4500</leader><controlfield tag="001">BV008974926</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1990 |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2225821046</subfield><subfield code="9">2-225-82104-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23035107</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008974926</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-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q335</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lalement, René</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logique, réduction, résolution</subfield><subfield code="c">René Lalement</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris u.a.</subfield><subfield code="b">Masson</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 370 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">Études et recherches en informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation dynamique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Traitement automatique des données</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</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 équationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle</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">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réduction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">résolution problème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="689" ind1="2" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005926442</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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> |
| id | DE-604.BV008974926 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:47Z |
| institution | BVB |
| isbn | 2225821046 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005926442 |
| oclc_num | 23035107 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | XII, 370 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Masson |
| record_format | marc |
| series2 | Études et recherches en informatique |
| spelling | Lalement, René Verfasser aut Logique, réduction, résolution René Lalement Paris u.a. Masson 1990 XII, 370 S. txt rdacontent n rdamedia nc rdacarrier Études et recherches en informatique Logique symbolique et mathématique Logique symbolique et mathématique ram Logique Programmation dynamique ram Traitement automatique des données lambda calcul inriac logique 1er ordre inriac logique mathématique inriac logique équationnelle inriac logique inriac modèle inriac programmation en logique inriac programmation fonctionnelle inriac réduction inriac résolution problème inriac réécriture inriac Informatik (DE-588)4026894-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s Informatik (DE-588)4026894-9 s DE-604 Programmierung (DE-588)4076370-5 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 2\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Lalement, René Logique, réduction, résolution Logique symbolique et mathématique Logique symbolique et mathématique ram Logique Programmation dynamique ram Traitement automatique des données lambda calcul inriac logique 1er ordre inriac logique mathématique inriac logique équationnelle inriac logique inriac modèle inriac programmation en logique inriac programmation fonctionnelle inriac réduction inriac résolution problème inriac réécriture inriac Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Programmierung (DE-588)4076370-5 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4037951-6 (DE-588)4076370-5 (DE-588)4036202-4 |
| title | Logique, réduction, résolution |
| title_auth | Logique, réduction, résolution |
| title_exact_search | Logique, réduction, résolution |
| title_full | Logique, réduction, résolution René Lalement |
| title_fullStr | Logique, réduction, résolution René Lalement |
| title_full_unstemmed | Logique, réduction, résolution René Lalement |
| title_short | Logique, réduction, résolution |
| title_sort | logique reduction resolution |
| topic | Logique symbolique et mathématique Logique symbolique et mathématique ram Logique Programmation dynamique ram Traitement automatique des données lambda calcul inriac logique 1er ordre inriac logique mathématique inriac logique équationnelle inriac logique inriac modèle inriac programmation en logique inriac programmation fonctionnelle inriac réduction inriac résolution problème inriac réécriture inriac Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Programmierung (DE-588)4076370-5 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logique symbolique et mathématique Logique Programmation dynamique Traitement automatique des données lambda calcul logique 1er ordre logique mathématique logique équationnelle logique modèle programmation en logique programmation fonctionnelle réduction résolution problème réécriture Informatik Mathematische Logik Programmierung Logik |
| work_keys_str_mv | AT lalementrene logiquereductionresolution |