Formal methods in artificial intelligence:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Press
1988
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
6 |
| Schlagworte: | |
| Beschreibung: | IX, 279 S. graph. Darst. |
| ISBN: | 0521352363 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001786526 | ||
| 003 | DE-604 | ||
| 005 | 20030723 | ||
| 007 | t | ||
| 008 | 890810s1988 d||| |||| 00||| eng d | ||
| 020 | |a 0521352363 |9 0-521-35236-3 | ||
| 035 | |a (OCoLC)17731779 | ||
| 035 | |a (DE-599)BVBBV001786526 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-473 |a DE-355 |a DE-739 |a DE-19 |a DE-706 |a DE-188 | ||
| 050 | 0 | |a Q335 | |
| 082 | 0 | |a 006.3 |2 19 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 700f |2 stub | ||
| 100 | 1 | |a Ramsay, Allan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal methods in artificial intelligence |c Allan Ramsay |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Press |c 1988 | |
| 300 | |a IX, 279 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 6 | |
| 650 | 7 | |a Formele logica |2 gtt | |
| 650 | 4 | |a Intelligence artificielle - Méthodologie | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Raisonnement | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique symbolique |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a raisonnement temporel |2 inriac | |
| 650 | 7 | |a raisonnement |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |x Methodology | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Reasoning | |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Methode |0 (DE-588)4038971-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |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 Forschungsmethode |0 (DE-588)4155046-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Methode |0 (DE-588)4038971-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 2 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Forschungsmethode |0 (DE-588)4155046-8 |D s |
| 689 | 3 | |8 1\p |5 DE-604 | |
| 689 | 4 | 0 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 4 | |8 2\p |5 DE-604 | |
| 689 | 5 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 5 | |8 3\p |5 DE-604 | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 6 |w (DE-604)BV000754528 |9 6 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001204006 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804116279833919488 |
|---|---|
| any_adam_object | |
| author | Ramsay, Allan |
| author_facet | Ramsay, Allan |
| author_role | aut |
| author_sort | Ramsay, Allan |
| author_variant | a r ar |
| building | Verbundindex |
| bvnumber | BV001786526 |
| callnumber-first | Q - Science |
| callnumber-label | Q335 |
| callnumber-raw | Q335 |
| callnumber-search | Q335 |
| callnumber-sort | Q 3335 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 285 |
| classification_tum | DAT 540f DAT 700f |
| ctrlnum | (OCoLC)17731779 (DE-599)BVBBV001786526 |
| 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 |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03386nam a2200901 cb4500</leader><controlfield tag="001">BV001786526</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030723 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890810s1988 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521352363</subfield><subfield code="9">0-521-35236-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17731779</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001786526</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q335</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ramsay, Allan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in artificial intelligence</subfield><subfield code="c">Allan Ramsay</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 279 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">Cambridge tracts in theoretical computer science</subfield><subfield code="v">6</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formele logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Méthodologie</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">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</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">lambda calcul</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 symbolique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</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">raisonnement</subfield><subfield code="2">inriac</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">Artificial intelligence</subfield><subfield code="x">Methodology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</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">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">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">Forschungsmethode</subfield><subfield code="0">(DE-588)4155046-8</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="1"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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="689" ind1="2" 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="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Forschungsmethode</subfield><subfield code="0">(DE-588)4155046-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">6</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">6</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001204006</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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.BV001786526 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:35:59Z |
| institution | BVB |
| isbn | 0521352363 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001204006 |
| oclc_num | 17731779 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-739 DE-19 DE-BY-UBM DE-706 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-739 DE-19 DE-BY-UBM DE-706 DE-188 |
| physical | IX, 279 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Ramsay, Allan Verfasser aut Formal methods in artificial intelligence Allan Ramsay 1. publ. Cambridge u.a. Cambridge Univ. Press 1988 IX, 279 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 6 Formele logica gtt Intelligence artificielle - Méthodologie Intelligence artificielle ram Kunstmatige intelligentie gtt Logique symbolique et mathématique Raisonnement calcul propositionnel inriac calcul prédicat inriac démonstration théorème inriac intelligence artificielle inriac lambda calcul inriac logique mathématique inriac logique modale inriac logique symbolique inriac méthode formelle inriac raisonnement temporel inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Methodology Logic, Symbolic and mathematical Reasoning Temporale Logik (DE-588)4137542-7 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Methode (DE-588)4038971-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Forschungsmethode (DE-588)4155046-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Methode (DE-588)4038971-6 s DE-604 Logik (DE-588)4036202-4 s Mathematische Logik (DE-588)4037951-6 s Forschungsmethode (DE-588)4155046-8 s 1\p DE-604 Temporale Logik (DE-588)4137542-7 s 2\p DE-604 Modallogik (DE-588)4074914-9 s 3\p DE-604 Cambridge tracts in theoretical computer science 6 (DE-604)BV000754528 6 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Ramsay, Allan Formal methods in artificial intelligence Cambridge tracts in theoretical computer science Formele logica gtt Intelligence artificielle - Méthodologie Intelligence artificielle ram Kunstmatige intelligentie gtt Logique symbolique et mathématique Raisonnement calcul propositionnel inriac calcul prédicat inriac démonstration théorème inriac intelligence artificielle inriac lambda calcul inriac logique mathématique inriac logique modale inriac logique symbolique inriac méthode formelle inriac raisonnement temporel inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Methodology Logic, Symbolic and mathematical Reasoning Temporale Logik (DE-588)4137542-7 gnd Modallogik (DE-588)4074914-9 gnd Methode (DE-588)4038971-6 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Forschungsmethode (DE-588)4155046-8 gnd |
| subject_GND | (DE-588)4137542-7 (DE-588)4074914-9 (DE-588)4038971-6 (DE-588)4036202-4 (DE-588)4033447-8 (DE-588)4037951-6 (DE-588)4155046-8 |
| title | Formal methods in artificial intelligence |
| title_auth | Formal methods in artificial intelligence |
| title_exact_search | Formal methods in artificial intelligence |
| title_full | Formal methods in artificial intelligence Allan Ramsay |
| title_fullStr | Formal methods in artificial intelligence Allan Ramsay |
| title_full_unstemmed | Formal methods in artificial intelligence Allan Ramsay |
| title_short | Formal methods in artificial intelligence |
| title_sort | formal methods in artificial intelligence |
| topic | Formele logica gtt Intelligence artificielle - Méthodologie Intelligence artificielle ram Kunstmatige intelligentie gtt Logique symbolique et mathématique Raisonnement calcul propositionnel inriac calcul prédicat inriac démonstration théorème inriac intelligence artificielle inriac lambda calcul inriac logique mathématique inriac logique modale inriac logique symbolique inriac méthode formelle inriac raisonnement temporel inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Methodology Logic, Symbolic and mathematical Reasoning Temporale Logik (DE-588)4137542-7 gnd Modallogik (DE-588)4074914-9 gnd Methode (DE-588)4038971-6 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Forschungsmethode (DE-588)4155046-8 gnd |
| topic_facet | Formele logica Intelligence artificielle - Méthodologie Intelligence artificielle Kunstmatige intelligentie Logique symbolique et mathématique Raisonnement calcul propositionnel calcul prédicat démonstration théorème intelligence artificielle lambda calcul logique mathématique logique modale logique symbolique méthode formelle raisonnement temporel raisonnement Künstliche Intelligenz Artificial intelligence Methodology Logic, Symbolic and mathematical Reasoning Temporale Logik Modallogik Methode Logik Mathematische Logik Forschungsmethode |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT ramsayallan formalmethodsinartificialintelligence |