La machine en logique:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | French |
| Veröffentlicht: |
Paris
Presses Univ. de France
1998
|
| Ausgabe: | 1. éd. |
| Schriftenreihe: | Science, histoire et société
|
| Schlagworte: | |
| Beschreibung: | 240 S. |
| ISBN: | 2130488994 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012179941 | ||
| 003 | DE-604 | ||
| 005 | 20211206 | ||
| 007 | t | ||
| 008 | 981005s1998 |||| 00||| fre d | ||
| 020 | |a 2130488994 |9 2-13-048899-4 | ||
| 035 | |a (OCoLC)49726992 | ||
| 035 | |a (DE-599)BVBBV012179941 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-739 |a DE-29 | ||
| 050 | 0 | |a BC138 | |
| 050 | 0 | |a QA76 | |
| 082 | 0 | |a 004 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CC 5200 |0 (DE-625)17636: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Wagner, Pierre |d 1963- |e Verfasser |0 (DE-588)1057020532 |4 aut | |
| 245 | 1 | 0 | |a La machine en logique |c Pierre Wagner |
| 250 | |a 1. éd. | ||
| 264 | 1 | |a Paris |b Presses Univ. de France |c 1998 | |
| 300 | |a 240 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Science, histoire et société | |
| 650 | 4 | |a Automates mathématiques, Théorie des | |
| 650 | 4 | |a Informatique - Philosophie | |
| 650 | 7 | |a Informatique - Philosophie |2 ram | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique informatique | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 4 | |a Machines logiques | |
| 650 | 7 | |a Machines |2 gtt | |
| 650 | 4 | |a Turing, Machines de | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic machines | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Maschine |0 (DE-588)4037786-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Maschine |0 (DE-588)4037786-6 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008253420 | ||
Datensatz im Suchindex
| _version_ | 1804126795702730752 |
|---|---|
| any_adam_object | |
| author | Wagner, Pierre 1963- |
| author_GND | (DE-588)1057020532 |
| author_facet | Wagner, Pierre 1963- |
| author_role | aut |
| author_sort | Wagner, Pierre 1963- |
| author_variant | p w pw |
| building | Verbundindex |
| bvnumber | BV012179941 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC138 |
| callnumber-raw | BC138 QA76 |
| callnumber-search | BC138 QA76 |
| callnumber-sort | BC 3138 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 CC 5200 SK 130 |
| ctrlnum | (OCoLC)49726992 (DE-599)BVBBV012179941 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik Philosophie |
| edition | 1. éd. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01958nam a2200625 c 4500</leader><controlfield tag="001">BV012179941</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211206 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">981005s1998 |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2130488994</subfield><subfield code="9">2-13-048899-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49726992</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012179941</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-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC138</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 5200</subfield><subfield code="0">(DE-625)17636:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wagner, Pierre</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1057020532</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">La machine en logique</subfield><subfield code="c">Pierre Wagner</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. éd.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Presses Univ. de France</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">240 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">Science, histoire et société</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Philosophie</subfield><subfield code="2">ram</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="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique 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="4"><subfield code="a">Machines logiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Machines</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Turing, Machines de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic machines</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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="650" ind1="0" ind2="7"><subfield code="a">Maschine</subfield><subfield code="0">(DE-588)4037786-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Maschine</subfield><subfield code="0">(DE-588)4037786-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008253420</subfield></datafield></record></collection> |
| id | DE-604.BV012179941 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:23:08Z |
| institution | BVB |
| isbn | 2130488994 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008253420 |
| oclc_num | 49726992 |
| open_access_boolean | |
| owner | DE-739 DE-29 |
| owner_facet | DE-739 DE-29 |
| physical | 240 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Presses Univ. de France |
| record_format | marc |
| series2 | Science, histoire et société |
| spelling | Wagner, Pierre 1963- Verfasser (DE-588)1057020532 aut La machine en logique Pierre Wagner 1. éd. Paris Presses Univ. de France 1998 240 S. txt rdacontent n rdamedia nc rdacarrier Science, histoire et société Automates mathématiques, Théorie des Informatique - Philosophie Informatique - Philosophie ram Intelligence artificielle ram Logica gtt Logique informatique Logique symbolique et mathématique Logique symbolique et mathématique ram Machines logiques Machines gtt Turing, Machines de Künstliche Intelligenz Logik Logic machines Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Maschine (DE-588)4037786-6 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Maschine (DE-588)4037786-6 s Logik (DE-588)4036202-4 s |
| spellingShingle | Wagner, Pierre 1963- La machine en logique Automates mathématiques, Théorie des Informatique - Philosophie Informatique - Philosophie ram Intelligence artificielle ram Logica gtt Logique informatique Logique symbolique et mathématique Logique symbolique et mathématique ram Machines logiques Machines gtt Turing, Machines de Künstliche Intelligenz Logik Logic machines Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd Maschine (DE-588)4037786-6 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4036202-4 (DE-588)4037786-6 |
| title | La machine en logique |
| title_auth | La machine en logique |
| title_exact_search | La machine en logique |
| title_full | La machine en logique Pierre Wagner |
| title_fullStr | La machine en logique Pierre Wagner |
| title_full_unstemmed | La machine en logique Pierre Wagner |
| title_short | La machine en logique |
| title_sort | la machine en logique |
| topic | Automates mathématiques, Théorie des Informatique - Philosophie Informatique - Philosophie ram Intelligence artificielle ram Logica gtt Logique informatique Logique symbolique et mathématique Logique symbolique et mathématique ram Machines logiques Machines gtt Turing, Machines de Künstliche Intelligenz Logik Logic machines Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd Maschine (DE-588)4037786-6 gnd |
| topic_facet | Automates mathématiques, Théorie des Informatique - Philosophie Intelligence artificielle Logica Logique informatique Logique symbolique et mathématique Machines logiques Machines Turing, Machines de Künstliche Intelligenz Logik Logic machines Maschine |
| work_keys_str_mv | AT wagnerpierre lamachineenlogique |