Holdings: Formal methods in artificial intelligence

Formal methods in artificial intelligence:

Saved in:

Bibliographic Details
Main Author:	Ramsay, Allan (Author)
Format:	Book
Language:	English
Published:	Cambridge u.a. Cambridge Univ. Pr. 1989
Edition:	Repr.
Series:	Cambridge tracts in theoretical computer science 6.
Subjects:	Temporale Logik Mathematische Logik Logik Methode Forschungsmethode Modallogik Künstliche Intelligenz
Physical Description:	IX, 279 S.
ISBN:	0521352363 0521424216

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV003682853
003	DE-604
005	00000000000000.0
007	t
008	900725s1989 \|\|\|\| 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.
999			\|a oai:aleph.bib-bvb.de:BVB01-002343107
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

Record in the Search Index

_version_	1804118026626269184
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>02646nam 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 \|\|\|\| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002343107</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></record></collection>
id	DE-604.BV003682853
illustrated	Not Illustrated
indexdate	2024-07-09T16:03:45Z
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
spelling	Ramsay, Allan Verfasser aut Formal methods in artificial intelligence Repr. Cambridge u.a. Cambridge Univ. Pr. 1989 IX, 279 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 6. Temporale Logik (DE-588)4137542-7 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Methode (DE-588)4038971-6 gnd rswk-swf Forschungsmethode (DE-588)4155046-8 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s 1\p DE-604 Methode (DE-588)4038971-6 s 2\p DE-604 Forschungsmethode (DE-588)4155046-8 s 3\p DE-604 Temporale Logik (DE-588)4137542-7 s 4\p DE-604 Modallogik (DE-588)4074914-9 s 5\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 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\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 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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items