Verfügbarkeit: Formal methods in artificial intelligence

Formal methods in artificial intelligence:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Ramsay, Allan (VerfasserIn)
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:	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
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

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 700f 2001 A 28151 Lageplan
Exemplar 1	Ausleihbar Am Standort