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. Pr. 1989
Ausgabe:	Repr.
Schriftenreihe:	Cambridge tracts in theoretical computer science 6.
Schlagwörter:	Temporale Logik Mathematische Logik Logik Methode Forschungsmethode Modallogik Künstliche Intelligenz
Umfang:	IX, 279 S.
ISBN:	0521352363 0521424216

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV003682853
003	DE-604
005	00000000000000.0
007	t\|
008	900725s1989 xx \|\|\|\| 00\|\|\| eng d
020			\|a 0521352363 \|9 0-521-35236-3
020			\|a 0521424216 \|9 0-521-42421-6
035			\|a (OCoLC)256065914
035			\|a (DE-599)BVBBV003682853
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-384 \|a DE-20 \|a DE-91G
082	0		\|a 006.3
084			\|a ST 285 \|0 (DE-625)143648: \|2 rvk
084			\|a ST 300 \|0 (DE-625)143650: \|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
250			\|a Repr.
264		1	\|a Cambridge u.a. \|b Cambridge Univ. Pr. \|c 1989
300			\|a IX, 279 S.
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	0	7	\|a Temporale Logik \|0 (DE-588)4137542-7 \|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 Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Methode \|0 (DE-588)4038971-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Forschungsmethode \|0 (DE-588)4155046-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modallogik \|0 (DE-588)4074914-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|2 gnd \|9 rswk-swf
689	0	0	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	0	1	\|a Mathematische Logik \|0 (DE-588)4037951-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		\|8 1\p \|5 DE-604
689	2	0	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	2	1	\|a Methode \|0 (DE-588)4038971-6 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Forschungsmethode \|0 (DE-588)4155046-8 \|D s
689	3		\|8 3\p \|5 DE-604
689	4	0	\|a Temporale Logik \|0 (DE-588)4137542-7 \|D s
689	4		\|8 4\p \|5 DE-604
689	5	0	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	5		\|8 5\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
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 5\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-002343107

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 700f 2001 A 28151(1,1989)
DE-BY-TUM_katkey	495758
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010381667
_version_	1821935765974679552
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	BV003682853
classification_rvk	ST 285 ST 300
classification_tum	DAT 540f DAT 700f
ctrlnum	(OCoLC)256065914 (DE-599)BVBBV003682853
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	Repr.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02647nam a2200685 cb4500</leader><controlfield tag="001">BV003682853</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">900725s1989 xx \|\|\|\| 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="020" ind1=" " ind2=" "><subfield code="a">0521424216</subfield><subfield code="9">0-521-42421-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)256065914</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003682853</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-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</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">ST 300</subfield><subfield code="0">(DE-625)143650:</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></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Repr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Pr.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 279 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="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">6.</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">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">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">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">Forschungsmethode</subfield><subfield code="0">(DE-588)4155046-8</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">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="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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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="8">1\p</subfield><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">Methode</subfield><subfield code="0">(DE-588)4038971-6</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="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">3\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">4\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">5\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="883" ind1="1" ind2=" "><subfield code="8">4\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">5\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-002343107</subfield></datafield></record></collection>
id	DE-604.BV003682853
illustrated	Not Illustrated
indexdate	2024-12-20T08:08:29Z
institution	BVB
isbn	0521352363 0521424216
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-002343107
oclc_num	256065914
open_access_boolean
owner	DE-384 DE-20 DE-91G DE-BY-TUM
owner_facet	DE-384 DE-20 DE-91G DE-BY-TUM
physical	IX, 279 S.
publishDate	1989
publishDateSearch	1989
publishDateSort	1989
publisher	Cambridge Univ. Pr.
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 Temporale Logik (DE-588)4137542-7 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Methode (DE-588)4038971-6 gnd Forschungsmethode (DE-588)4155046-8 gnd Modallogik (DE-588)4074914-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd
subject_GND	(DE-588)4137542-7 (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4038971-6 (DE-588)4155046-8 (DE-588)4074914-9 (DE-588)4033447-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
title_fullStr	Formal methods in artificial intelligence
title_full_unstemmed	Formal methods in artificial intelligence
title_short	Formal methods in artificial intelligence
title_sort	formal methods in artificial intelligence
topic	Temporale Logik (DE-588)4137542-7 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Methode (DE-588)4038971-6 gnd Forschungsmethode (DE-588)4155046-8 gnd Modallogik (DE-588)4074914-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd
topic_facet	Temporale Logik Mathematische Logik Logik Methode Forschungsmethode Modallogik Künstliche Intelligenz
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(1,1989) Lageplan
Exemplar 1	Ausleihbar Am Standort