On first order temporal logics with changing domains for information system specification

Bibliographische Detailangaben

Titel
On first order temporal logics with changing domains for information system specification
verantwortlich
Saake, Gunter (VerfasserIn)
Schriftenreihe
Informatik-Berichte. Technische Universität Braunschweig ; 89-01
veröffentlicht
Erscheinungsjahr
1989
Teil von
Informatik-Berichte ; 89-01
Medientyp
Buch
Datenquelle
K10plus Verbundkatalog
Tags
Tag hinzufügen

Zugang

Weitere Informationen sehen Sie, wenn Sie angemeldet sind. Noch keinen Account? Jetzt registrieren.

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 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fkatalog.fid-bbi.de%3Agenerator&rft.title=On+first+order+temporal+logics+with+changing+domains+for+information+system+specification&rft.date=1989&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=On+first+order+temporal+logics+with+changing+domains+for+information+system+specification&rft.series=Informatik-Berichte%2C+89-01&rft.au=Saake%2C+Gunter&rft.pub=TU.%2C+Inst.+f.+Betriebssysteme+u.+Rechnerverbund&rft.edition=&rft.isbn=
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