Verfügbarkeit: Subset space logics of knowledge and time

Subset space logics of knowledge and time:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Heinemann, Bernhard (VerfasserIn)
Format:	Hochschulschrift/Dissertation Buch
Sprache:	Deutsch
Veröffentlicht:	Hagen Fernuniv., Fachbereich Informatik 1998
Schriftenreihe:	Informatik-Berichte 229
Schlagwörter:	Vollständigkeit Entscheidbarkeit Komplexitätstheorie Modallogik Wissensrepräsentation Hochschulschrift
Umfang:	116 S.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV012191412
003	DE-604
005	20010104
007	t\|
008	980929s1998 gw m\|\|\| 00\|\|\| ger d
016	7		\|a 954634403 \|2 DE-101
035			\|a (OCoLC)64633442
035			\|a (DE-599)BVBBV012191412
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-29 \|a DE-355 \|a DE-12 \|a DE-11 \|a DE-188
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
100	1		\|a Heinemann, Bernhard \|e Verfasser \|4 aut
245	1	0	\|a Subset space logics of knowledge and time \|c Bernhard Heinemann. Fernuniversität, Gesamthochschule in Hagen, Fachbereich Informatik
264		1	\|a Hagen \|b Fernuniv., Fachbereich Informatik \|c 1998
300			\|a 116 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Informatik-Berichte \|v 229
502			\|a Hagen, Fernuniv., Habil.-Schr., 1997
650	0	7	\|a Vollständigkeit \|0 (DE-588)4284513-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entscheidbarkeit \|0 (DE-588)4152398-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Komplexitätstheorie \|0 (DE-588)4120591-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modallogik \|0 (DE-588)4074914-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Wissensrepräsentation \|0 (DE-588)4049534-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	0	1	\|a Entscheidbarkeit \|0 (DE-588)4152398-2 \|D s
689	0	2	\|a Vollständigkeit \|0 (DE-588)4284513-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	1	1	\|a Entscheidbarkeit \|0 (DE-588)4152398-2 \|D s
689	1	2	\|a Komplexitätstheorie \|0 (DE-588)4120591-1 \|D s
689	1		\|5 DE-604
689	2	0	\|a Wissensrepräsentation \|0 (DE-588)4049534-6 \|D s
689	2	1	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	2		\|5 DE-604
830		0	\|a Informatik-Berichte \|v 229 \|w (DE-604)BV000001277 \|9 229
943	1		\|a oai:aleph.bib-bvb.de:BVB01-008262097

Datensatz im Suchindex

_version_	1818954680627101696
any_adam_object
author	Heinemann, Bernhard
author_facet	Heinemann, Bernhard
author_role	aut
author_sort	Heinemann, Bernhard
author_variant	b h bh
building	Verbundindex
bvnumber	BV012191412
classification_rvk	SK 130 ST 120 ST 130
ctrlnum	(OCoLC)64633442 (DE-599)BVBBV012191412
discipline	Informatik Mathematik
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02032nam a2200541 cb4500</leader><controlfield tag="001">BV012191412</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010104 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">980929s1998 gw m\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954634403</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)64633442</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012191412</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heinemann, Bernhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Subset space logics of knowledge and time</subfield><subfield code="c">Bernhard Heinemann. Fernuniversität, Gesamthochschule in Hagen, Fachbereich Informatik</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hagen</subfield><subfield code="b">Fernuniv., Fachbereich Informatik</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">116 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">Informatik-Berichte</subfield><subfield code="v">229</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Hagen, Fernuniv., Habil.-Schr., 1997</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Vollständigkeit</subfield><subfield code="0">(DE-588)4284513-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Vollständigkeit</subfield><subfield code="0">(DE-588)4284513-0</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">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Informatik-Berichte</subfield><subfield code="v">229</subfield><subfield code="w">(DE-604)BV000001277</subfield><subfield code="9">229</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008262097</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV012191412
illustrated	Not Illustrated
indexdate	2024-12-20T10:26:01Z
institution	BVB
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-008262097
oclc_num	64633442
open_access_boolean
owner	DE-29 DE-355 DE-BY-UBR DE-12 DE-11 DE-188
owner_facet	DE-29 DE-355 DE-BY-UBR DE-12 DE-11 DE-188
physical	116 S.
publishDate	1998
publishDateSearch	1998
publishDateSort	1998
publisher	Fernuniv., Fachbereich Informatik
record_format	marc
series	Informatik-Berichte
series2	Informatik-Berichte
spelling	Heinemann, Bernhard Verfasser aut Subset space logics of knowledge and time Bernhard Heinemann. Fernuniversität, Gesamthochschule in Hagen, Fachbereich Informatik Hagen Fernuniv., Fachbereich Informatik 1998 116 S. txt rdacontent n rdamedia nc rdacarrier Informatik-Berichte 229 Hagen, Fernuniv., Habil.-Schr., 1997 Vollständigkeit (DE-588)4284513-0 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Modallogik (DE-588)4074914-9 s Entscheidbarkeit (DE-588)4152398-2 s Vollständigkeit (DE-588)4284513-0 s DE-604 Komplexitätstheorie (DE-588)4120591-1 s Wissensrepräsentation (DE-588)4049534-6 s Informatik-Berichte 229 (DE-604)BV000001277 229
spellingShingle	Heinemann, Bernhard Subset space logics of knowledge and time Informatik-Berichte Vollständigkeit (DE-588)4284513-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Modallogik (DE-588)4074914-9 gnd Wissensrepräsentation (DE-588)4049534-6 gnd
subject_GND	(DE-588)4284513-0 (DE-588)4152398-2 (DE-588)4120591-1 (DE-588)4074914-9 (DE-588)4049534-6 (DE-588)4113937-9
title	Subset space logics of knowledge and time
title_auth	Subset space logics of knowledge and time
title_exact_search	Subset space logics of knowledge and time
title_full	Subset space logics of knowledge and time Bernhard Heinemann. Fernuniversität, Gesamthochschule in Hagen, Fachbereich Informatik
title_fullStr	Subset space logics of knowledge and time Bernhard Heinemann. Fernuniversität, Gesamthochschule in Hagen, Fachbereich Informatik
title_full_unstemmed	Subset space logics of knowledge and time Bernhard Heinemann. Fernuniversität, Gesamthochschule in Hagen, Fachbereich Informatik
title_short	Subset space logics of knowledge and time
title_sort	subset space logics of knowledge and time
topic	Vollständigkeit (DE-588)4284513-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Modallogik (DE-588)4074914-9 gnd Wissensrepräsentation (DE-588)4049534-6 gnd
topic_facet	Vollständigkeit Entscheidbarkeit Komplexitätstheorie Modallogik Wissensrepräsentation Hochschulschrift
volume_link	(DE-604)BV000001277
work_keys_str_mv	AT heinemannbernhard subsetspacelogicsofknowledgeandtime

Verfügbarkeit

MARC

Datensatz im Suchindex

‌