Formal methods in artificial intelligence:
Gespeichert in:
Beteilige Person: | |
---|---|
Format: | Buch |
Sprache: | Englisch |
Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Press
1988
|
Ausgabe: | 1. publ. |
Schriftenreihe: | Cambridge tracts in theoretical computer science
6 |
Schlagwörter: | |
Umfang: | IX, 279 S. graph. Darst. |
ISBN: | 0521352363 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV001786526 | ||
003 | DE-604 | ||
005 | 20030723 | ||
007 | t| | ||
008 | 890810s1988 xx 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 | |
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 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001204006 |
Datensatz im Suchindex
DE-BY-TUM_call_number | 0102 DAT 700f 2001 A 28151 |
---|---|
DE-BY-TUM_katkey | 122253 |
DE-BY-TUM_location | 01 |
DE-BY-TUM_media_number | 040010381816 |
_version_ | 1821940035808657408 |
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>03387nam 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 xx 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="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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001204006</subfield></datafield></record></collection> |
id | DE-604.BV001786526 |
illustrated | Illustrated |
indexdate | 2024-12-20T07:42:01Z |
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 |
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 |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
Signatur: |
0102 DAT 700f 2001 A 28151
Lageplan |
---|---|
Exemplar 1 | Ausleihbar Am Standort |