|
|
|
|
LEADER |
01513cam a22003492 4500 |
001 |
183-016180372 |
003 |
DE-627 |
005 |
20180503114436.0 |
007 |
tu |
008 |
710101s1989 xx ||||| 00| ||und c |
035 |
|
|
|a (DE-627)016180372
|
035 |
|
|
|a (DE-599)GBV016180372
|
035 |
|
|
|a (OCoLC)256104135
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
084 |
|
|
|a 54.64
|2 bkl
|
088 |
|
|
|a INFORMATIK BER 8901
|
100 |
1 |
|
|a Saake, Gunter
|d 1960-
|0 (DE-588)122164458
|0 (DE-627)081775512
|0 (DE-576)164737073
|4 aut
|
245 |
1 |
0 |
|a On first order temporal logics with changing domains for information system specification
|c Gunter Saake. Abteilung Datenbanken, Institute für Informatik, Technische Universität Braunschweig
|
264 |
|
1 |
|a Braunschweig
|b TU., Inst. f. Betriebssysteme u. Rechnerverbund
|c 1989
|
300 |
|
|
|a II, 22 Bl
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a ohne Hilfsmittel zu benutzen
|b n
|2 rdamedia
|
338 |
|
|
|a Band
|b nc
|2 rdacarrier
|
490 |
1 |
|
|a Informatik-Berichte. Technische Universität Braunschweig
|v 89-01
|
655 |
|
7 |
|a Bericht
|0 (DE-588)4128022-2
|0 (DE-627)104616091
|0 (DE-576)209598573
|2 gnd-content
|
830 |
|
0 |
|a Informatik-Berichte
|v 89-01
|9 198901
|w (DE-627)129725455
|w (DE-576)01091403X
|w (DE-600)261110-7
|7 ns
|
924 |
0 |
|
|a 017651530
|b DE-84
|9 84
|c GBV
|d c
|g 3463-4840
|
924 |
0 |
|
|a 224394258
|b DE-18
|9 18
|c GBV
|d d
|g R19285
|h 18/228
|
924 |
0 |
|
|a 017651549
|b DE-89
|9 89
|c GBV
|g RN 6403(89-01)
|
936 |
b |
k |
|a 54.64
|j Datenbanken
|0 (DE-627)106410865
|
951 |
|
|
|a BO
|
980 |
|
|
|a 016180372
|b 183
|c sid-183-col-kxpbbi
|
SOLR
_version_ |
1797790020029906944 |
author |
Saake, Gunter |
author_facet |
Saake, Gunter |
author_role |
aut |
author_sort |
Saake, Gunter 1960- |
author_variant |
g s gs |
building |
Library A |
collection |
sid-183-col-kxpbbi |
ctrlnum |
(DE-627)016180372, (DE-599)GBV016180372, (OCoLC)256104135 |
facet_avail |
Local |
fincclass_txtF_mv |
science-computerscience |
format |
Book |
format_access_txtF_mv |
Book, E-Book |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-print-monograph-independent |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book |
format_legacy |
Book |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
Book |
genre |
Bericht (DE-588)4128022-2 (DE-627)104616091 (DE-576)209598573 gnd-content |
genre_facet |
Bericht |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
hierarchy_parent_id |
183-129725455 |
hierarchy_parent_title |
Informatik-Berichte |
hierarchy_sequence |
198901 |
hierarchy_top_id |
183-129725455 |
hierarchy_top_title |
Informatik-Berichte |
id |
183-016180372 |
illustrated |
Not Illustrated |
imprint |
Braunschweig, TU., Inst. f. Betriebssysteme u. Rechnerverbund, 1989 |
imprint_str_mv |
Braunschweig: TU., Inst. f. Betriebssysteme u. Rechnerverbund, 1989 |
institution |
FID-BBI-DE-23 |
is_hierarchy_id |
183-016180372 |
is_hierarchy_title |
On first order temporal logics with changing domains for information system specification |
language |
Undetermined |
last_indexed |
2024-04-30T19:42:48.376Z |
marc_error |
[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @64e01542 |
match_str |
saake1989onfirstordertemporallogicswithchangingdomainsforinformationsystemspecification |
mega_collection |
K10plus Verbundkatalog |
multipart_link |
01091403X |
multipart_part |
(01091403X)89-01 |
oclc_num |
256104135 |
physical |
II, 22 Bl |
publishDate |
1989 |
publishDateSort |
1989 |
publishPlace |
Braunschweig |
publisher |
TU., Inst. f. Betriebssysteme u. Rechnerverbund |
record_format |
marcfinc |
record_id |
016180372 |
recordtype |
marcfinc |
rvk_facet |
No subject assigned |
series |
Informatik-Berichte, 89-01 |
series2 |
Informatik-Berichte. Technische Universität Braunschweig ; 89-01 |
source_id |
183 |
spelling |
Saake, Gunter 1960- (DE-588)122164458 (DE-627)081775512 (DE-576)164737073 aut, On first order temporal logics with changing domains for information system specification Gunter Saake. Abteilung Datenbanken, Institute für Informatik, Technische Universität Braunschweig, Braunschweig TU., Inst. f. Betriebssysteme u. Rechnerverbund 1989, II, 22 Bl, Text txt rdacontent, ohne Hilfsmittel zu benutzen n rdamedia, Band nc rdacarrier, Informatik-Berichte. Technische Universität Braunschweig 89-01, Bericht (DE-588)4128022-2 (DE-627)104616091 (DE-576)209598573 gnd-content, Informatik-Berichte 89-01 198901 (DE-627)129725455 (DE-576)01091403X (DE-600)261110-7 ns |
spellingShingle |
Saake, Gunter, On first order temporal logics with changing domains for information system specification, Informatik-Berichte, 89-01, Bericht |
title |
On first order temporal logics with changing domains for information system specification |
title_auth |
On first order temporal logics with changing domains for information system specification |
title_full |
On first order temporal logics with changing domains for information system specification Gunter Saake. Abteilung Datenbanken, Institute für Informatik, Technische Universität Braunschweig |
title_fullStr |
On first order temporal logics with changing domains for information system specification Gunter Saake. Abteilung Datenbanken, Institute für Informatik, Technische Universität Braunschweig |
title_full_unstemmed |
On first order temporal logics with changing domains for information system specification Gunter Saake. Abteilung Datenbanken, Institute für Informatik, Technische Universität Braunschweig |
title_in_hierarchy |
89-01. On first order temporal logics with changing domains for information system specification (1989) |
title_short |
On first order temporal logics with changing domains for information system specification |
title_sort |
on first order temporal logics with changing domains for information system specification |
title_unstemmed |
On first order temporal logics with changing domains for information system specification |
topic |
Bericht |
topic_facet |
Bericht |
work_keys_str_mv |
AT saakegunter onfirstordertemporallogicswithchangingdomainsforinformationsystemspecification |