|
|
|
|
LEADER |
05416cam a2201045 4500 |
001 |
183-12087704X |
003 |
DE-627 |
005 |
20240416225359.0 |
007 |
tu |
008 |
930123s1993 gw ||||| 00| ||eng c |
015 |
|
|
|a 93,N04,0376
|2 dnb
|
016 |
7 |
|
|a 930204271
|2 DE-101
|
020 |
|
|
|a 3540563938
|c : DM 96.00 ((Berlin ...)
|9 3-540-56393-8
|
020 |
|
|
|a 0387563938
|c ((New York ...)
|9 0-387-56393-8
|
035 |
|
|
|a (DE-627)12087704X
|
035 |
|
|
|a (DE-576)031812538
|
035 |
|
|
|a (DE-599)GBV12087704X
|
035 |
|
|
|a (OCoLC)610806665
|
035 |
|
|
|a (OCoLC)311589772
|
035 |
|
|
|a (ZBM)0825.00125
|
035 |
|
|
|a (DE-604)8059818751
|
035 |
|
|
|a (ZBM)0825.00125
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|
044 |
|
|
|c XA-DE
|c XD-US
|c XA-GB
|
084 |
|
|
|a 28
|2 sdnb
|
084 |
|
|
|a SS 4800
|2 rvk
|0 (DE-625)rvk/143528:
|
084 |
|
|
|a ST 130
|2 rvk
|0 (DE-625)rvk/143588:
|
084 |
|
|
|a *00B25
|2 msc
|
084 |
|
|
|a 68-06
|2 msc
|
084 |
|
|
|a 54.10
|2 bkl
|
084 |
|
|
|a 54.62
|2 bkl
|
090 |
|
|
|a a
|
245 |
1 |
0 |
|a Conditional term rewriting systems
|b third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
|c M. Rusinowitch ... (ed.)
|
264 |
|
1 |
|a Berlin
|a Heidelberg [u.a.]
|b Springer-Verl.
|c 1993
|
300 |
|
|
|a XI, 501 S.
|b graph. Darst.
|
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 Lecture notes in computer science
|v 656
|
500 |
|
|
|a Literaturangaben
|
583 |
1 |
|
|a Archivierung/Langzeitarchivierung gewährleistet
|f PEBW
|x XA-DE-BW
|2 pdager
|5 DE-31
|
650 |
|
0 |
|a Rewriting systems (Computer science)
|x Congresses
|
655 |
|
7 |
|a Konferenzschrift
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
655 |
|
7 |
|a Konferenzschrift
|y 1992
|z Pont-à-Mousson
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4200454-8
|0 (DE-627)105173541
|0 (DE-576)210135581
|a Bedingtes Termersetzungssystem
|2 gnd
|
689 |
0 |
|
|5 (DE-627)
|
700 |
1 |
|
|a Rusinowitch, Michaël
|4 oth
|
700 |
1 |
|
|a Rusinovič, Michail
|e Hrsg.
|0 (DE-627)1240136773
|0 (DE-576)170136779
|4 edt
|
711 |
2 |
|
|a CTRS
|n 3
|d 1992
|c Pont-à-Mousson
|0 (DE-588)2126878-2
|0 (DE-627)121353532
|0 (DE-576)194326438
|4 oth
|
776 |
0 |
8 |
|i Online-Ausg.
|t Conditional term rewriting systems
|d Berlin [u.a.] : Springer, 1993
|h Online-Ressource (XI, 501 S.)
|w (DE-627)595126790
|w (DE-576)9595126799
|z 9783540475491
|
776 |
0 |
8 |
|i Erscheint auch als
|n Online-Ausgabe
|a Rusinowitch, Michael
|t Conditional Term Rewriting Systems
|d Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
|h Online-Ressource
|w (DE-627)1649297009
|w (DE-576)322905311
|z 9783540475491
|
830 |
|
0 |
|a Lecture notes in computer science
|v 656
|9 656
|w (DE-627)129300152
|w (DE-576)014492687
|w (DE-600)121909-1
|x 0302-9743
|7 ns
|
856 |
4 |
2 |
|u https://swbplus.bsz-bw.de/bsz031812538cov.jpg
|m V:DE-576
|m X:springer
|q image/jpeg
|v 20150910142303
|3 Cover
|
856 |
4 |
2 |
|u https://zbmath.org/?q=an:0825.00125
|m B:ZBM
|v 2021-04-12
|x Verlag
|y Zentralblatt MATH
|3 Inhaltstext
|
912 |
|
|
|a SSG-OPC-mat
|
924 |
0 |
|
|a 024622222
|b DE-1a
|9 1a
|c GBV
|d c
|g 1 A 167931
|h 2
|
924 |
0 |
|
|a 100534295
|b DE-84
|9 84
|c GBV
|d c
|g 2715-0742
|
924 |
0 |
|
|a 165982543
|b DE-46
|9 46
|c GBV
|d c
|g 01.p.0591
|h Magazin
|
924 |
0 |
|
|a 846792583
|b DE-18
|9 18
|c GBV
|d d
|g 3 Pon 1992
|h 18/263
|
924 |
0 |
|
|a 087940914
|b DE-18
|9 18
|c GBV
|d c
|g X/12948: 656
|h SUB
|
924 |
0 |
|
|a 163041253
|b DE-830
|9 830
|c GBV
|d c
|g 2734-3452
|h 27
|
924 |
0 |
|
|a 321321014
|b DE-8
|9 8
|c GBV
|d d
|g LNCS;656 R-23869
|g 1. Obergeschoss
|h 8/60a
|
924 |
0 |
|
|a 1370732686
|b DE-104
|9 104
|c GBV
|g Ra 396 Bd 656
|
924 |
0 |
|
|a 151226733
|b DE-27
|9 27
|c GBV
|d c
|g INF:::LNCS:656:1993
|g 93 NA 7454/1
|h J 50
|
924 |
0 |
|
|a 122456270
|b DE-Ilm1
|9 Ilm 1
|c GBV
|d c
|g INF 1861
|h 93
|
924 |
0 |
|
|a 103418423
|b DE-7
|9 7
|c GBV
|d c
|g ZA 37158:656
|
924 |
0 |
|
|a 233914382
|b DE-28
|9 28
|c GBV
|g SS 4800-656
|g 93 A 8617
|h 28/BB1-MAG
|
924 |
0 |
|
|a 27114971X
|b DE-89
|9 89
|c GBV
|d b
|g RN 2835(656)
|
924 |
0 |
|
|a 3162560985
|b DE-21-119
|9 21/119
|c BSZ
|d b
|g F.4.1
|
924 |
0 |
|
|a 3162561086
|b DE-25-91
|9 25/91
|c BSZ
|d c
|g Frei 91: CA/0.0/1-656
|
924 |
0 |
|
|a 3162561132
|b DE-14
|9 14
|c BSZ
|d c
|g 93 8 09444
|
924 |
0 |
|
|a 3162561191
|b DE-24
|9 24
|c BSZ
|d c
|g 43/5212
|
924 |
0 |
|
|a 3162561302
|b DE-180
|9 180
|c BSZ
|d d
|g 400 SS 4800-656
|h 400
|
924 |
0 |
|
|a 3162561310
|b DE-180
|9 180
|c BSZ
|d c
|g 93 A 1383
|h MAG07
|
924 |
0 |
|
|a 316256137X
|b DE-15
|9 15
|c BSZ
|d c
|
924 |
0 |
|
|a 3162561493
|b DE-93
|9 93
|c BSZ
|d c
|g 3H 1047-656
|
924 |
0 |
|
|a 316256154X
|b DE-31
|9 31
|c BSZ
|d c
|g 88 A 15776,3
|
924 |
0 |
|
|a 3162561590
|b DE-Ch1
|9 Ch 1
|c BSZ
|d c
|g SS 4800 656
|
924 |
0 |
|
|a 3162561647
|b DE-289
|9 289
|c BSZ
|d c
|g QAA 7/A1.656
|h O
|
924 |
0 |
|
|a 3162561736
|b DE-Sa18
|9 Sa 18
|c BSZ
|d b
|
924 |
0 |
|
|a 3988671967
|b DE-982
|9 982#
|c BSZ
|d d
|
935 |
|
|
|i sf
|
935 |
|
|
|i Blocktest
|
936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
936 |
r |
v |
|a ST 130
|b Allgemeines
|k Informatik
|k Monografien
|k Grundlagen der Informatik
|k Theoretische Informatik
|k Allgemeines
|0 (DE-627)1270877461
|0 (DE-625)rvk/143588:
|0 (DE-576)200877461
|
936 |
b |
k |
|a 54.10
|j Theoretische Informatik
|0 (DE-627)106418815
|
936 |
b |
k |
|a 54.62
|j Datenstrukturen
|0 (DE-627)106403265
|
951 |
|
|
|a BO
|
980 |
|
|
|a 12087704X
|b 183
|c sid-183-col-kxpbbi
|
SOLR
_version_ |
1798422739367755776 |
author2 |
Rusinowitch, Michaël, Rusinovič, Michail |
author2_role |
oth, edt |
author2_variant |
m r mr, m r mr |
author_corporate |
CTRS |
author_corporate_role |
oth |
author_facet |
Rusinowitch, Michaël, Rusinovič, Michail, CTRS |
building |
Library A |
callnumber-label |
A |
callnumber-raw |
a |
callnumber-search |
a |
callnumber-sort |
A |
collection |
SSG-OPC-mat, sid-183-col-kxpbbi |
ctrlnum |
(DE-627)12087704X, (DE-576)031812538, (DE-599)GBV12087704X, (OCoLC)610806665, (OCoLC)311589772, (ZBM)0825.00125, (DE-604)8059818751 |
era_facet |
1992 |
facet_912a |
SSG-OPC-mat |
facet_avail |
Local |
facet_local_del330 |
Bedingtes Termersetzungssystem |
finc_class_facet |
Informatik |
fincclass_txtF_mv |
science-computerscience |
footnote |
Literaturangaben |
format |
Book, ConferenceProceedings |
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 |
Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift 1992 Pont-à-Mousson (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
genre_facet |
Konferenzschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
geographic_facet |
Pont-à-Mousson |
hierarchy_parent_id |
183-129300152 |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_sequence |
656 |
hierarchy_top_id |
183-129300152 |
hierarchy_top_title |
Lecture notes in computer science |
id |
183-12087704X |
illustrated |
Not Illustrated |
imprint |
Berlin, Heidelberg [u.a.], Springer-Verl., 1993 |
imprint_str_mv |
Berlin; Heidelberg [u.a.]: Springer-Verl., 1993 |
institution |
FID-BBI-DE-23 |
is_hierarchy_id |
183-12087704X |
is_hierarchy_title |
Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings |
isbn |
3540563938, 0387563938 |
isbn_isn_mv |
9783540475491 |
issn_isn_mv |
0302-9743 |
language |
English |
last_indexed |
2024-05-07T19:19:35.654Z |
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 @20e8cc55 |
match_str |
rusinowitch1993conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings |
mega_collection |
K10plus Verbundkatalog |
multipart_link |
014492687 |
multipart_part |
(014492687)656 |
oclc_num |
610806665, 311589772 |
physical |
XI, 501 S.; graph. Darst |
publishDate |
1993 |
publishDateSort |
1993 |
publishPlace |
Berlin |
publisher |
Springer-Verl. |
record_format |
marcfinc |
record_id |
12087704X |
recordtype |
marcfinc |
rvk_facet |
SS 4800, ST 130 |
rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science, Monografien, Grundlagen der Informatik, Theoretische Informatik, Allgemeines |
rvk_path |
SS, ST, SQ - SU, SS 4000 - SS 5999, SS 4800, ST 120 - ST 140, ST 130 - ST 140, ST 130 |
rvk_path_str_mv |
SS, ST, SQ - SU, SS 4000 - SS 5999, SS 4800, ST 120 - ST 140, ST 130 - ST 140, ST 130 |
series |
Lecture notes in computer science, 656 |
series2 |
Lecture notes in computer science ; 656 |
source_id |
183 |
spelling |
Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings M. Rusinowitch ... (ed.), Berlin Heidelberg [u.a.] Springer-Verl. 1993, XI, 501 S. graph. Darst., Text txt rdacontent, ohne Hilfsmittel zu benutzen n rdamedia, Band nc rdacarrier, Lecture notes in computer science 656, Literaturangaben, Archivierung/Langzeitarchivierung gewährleistet PEBW XA-DE-BW pdager DE-31, Rewriting systems (Computer science) Congresses, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift 1992 Pont-à-Mousson (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4200454-8 (DE-627)105173541 (DE-576)210135581 Bedingtes Termersetzungssystem gnd, (DE-627), Rusinowitch, Michaël oth, Rusinovič, Michail Hrsg. (DE-627)1240136773 (DE-576)170136779 edt, CTRS 3 1992 Pont-à-Mousson (DE-588)2126878-2 (DE-627)121353532 (DE-576)194326438 oth, Online-Ausg. Conditional term rewriting systems Berlin [u.a.] : Springer, 1993 Online-Ressource (XI, 501 S.) (DE-627)595126790 (DE-576)9595126799 9783540475491, Erscheint auch als Online-Ausgabe Rusinowitch, Michael Conditional Term Rewriting Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 1993 Online-Ressource (DE-627)1649297009 (DE-576)322905311 9783540475491, Lecture notes in computer science 656 656 (DE-627)129300152 (DE-576)014492687 (DE-600)121909-1 0302-9743 ns, https://swbplus.bsz-bw.de/bsz031812538cov.jpg V:DE-576 X:springer image/jpeg 20150910142303 Cover, https://zbmath.org/?q=an:0825.00125 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext |
spellingShingle |
Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings, Lecture notes in computer science, 656, Rewriting systems (Computer science) Congresses, Konferenzschrift, Konferenzschrift 1992 Pont-à-Mousson, Bedingtes Termersetzungssystem |
title |
Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings |
title_auth |
Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings |
title_full |
Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings M. Rusinowitch ... (ed.) |
title_fullStr |
Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings M. Rusinowitch ... (ed.) |
title_full_unstemmed |
Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings M. Rusinowitch ... (ed.) |
title_in_hierarchy |
656. Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings (1993) |
title_short |
Conditional term rewriting systems |
title_sort |
conditional term rewriting systems third international workshop, ctrs-92, pont-à-mousson, france, july 8 - 10, 1992 ; proceedings |
title_sub |
third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings |
title_unstemmed |
Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings |
topic |
Rewriting systems (Computer science) Congresses, Konferenzschrift, Konferenzschrift 1992 Pont-à-Mousson, Bedingtes Termersetzungssystem |
topic_facet |
Rewriting systems (Computer science), Congresses, Konferenzschrift, Bedingtes Termersetzungssystem |
url |
https://swbplus.bsz-bw.de/bsz031812538cov.jpg, https://zbmath.org/?q=an:0825.00125 |
work_keys_str_mv |
AT rusinowitchmichael conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings, AT rusinovicmichail conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings, AT ctrspontamousson conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings |