Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Titel: Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
verantwortlich: Rusinowitch, Michael (VerfasserIn); Remy, Jean-Luc (Sonstige)
Schriftenreihe: Lecture Notes in Computer Science ; 656
veröffentlicht: Berlin, Heidelberg: Springer Berlin Heidelberg, 1993
Erscheinungsjahr: 1993
Teil von: SpringerLink
Teil von: Lecture notes in computer science ; 656
Buchausg. u.d.T.: Conditional term rewriting systems, Berlin : Springer-Verl., 1993, XI, 501 S.
Medientyp: E-Book Konferenzbericht
Datenquelle: K10plus Verbundkatalog
Springer Lecture Notes
Tags: Tag hinzufügen

Zugang

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


LEADER	07439cam a22010692 4500
001	183-1649297009
003	DE-627
005	20230413111335.0
007	cr uuu---uuuuu
008	100510s1993 xx \|\|\|\|\|o 00\| \|\|eng c
020			\|a 9783540475491 \|9 978-3-540-47549-1
024	7		\|a 10.1007/3-540-56393-8 \|2 doi
035			\|a (DE-627)1649297009
035			\|a (DE-576)322905311
035			\|a (DE-599)BSZ322905311
035			\|a (OCoLC)699833795
035			\|a (DE-He213)978-3-540-56393-8
035			\|a (ZBM)0825.00125
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
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
100	1		\|a Rusinowitch, Michael \|4 aut
245	1	0	\|a Conditional Term Rewriting Systems \|b Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings \|c by Michael Rusinowitch, Jean-Luc Remy
264		1	\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 1993
300			\|a Online-Ressource
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 656
490	0		\|a SpringerLink \|a Bücher
650		0	\|a Artificial intelligence
650		0	\|a Computer science
650		0	\|a Logic, Symbolic and mathematical
650		0	\|a Computer Science
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 Remy, Jean-Luc \|4 oth
776	1		\|z 9783540563938
776	0	8	\|i Buchausg. u.d.T. \|t Conditional term rewriting systems \|d Berlin : Springer-Verl., 1993 \|h XI, 501 S. \|w (DE-627)12087704X \|w (DE-576)031812538 \|z 3540563938 \|z 0387563938
830		0	\|a Lecture notes in computer science \|v 656 \|9 656 \|w (DE-627)316228877 \|w (DE-576)093890923 \|w (DE-600)2018930-8 \|x 1611-3349 \|7 ns
856	4	0	\|u https://doi.org/10.1007/3-540-56393-8 \|x Verlag \|3 Volltext
856	4	2	\|u https://swbplus.bsz-bw.de/bsz322905311cov.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 ZDB-1-SLN
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
912			\|a SSG-OPC-mat
924	1		\|a 4499714397 \|b DE-1a \|9 1a \|c GBV \|d d \|h 5:INTERN \|k http://erf.sbb.spk-berlin.de/han/512881081/doi.org/10.1007/3-540-56393-8
924	1		\|a 4068144605 \|b DE-84 \|9 84 \|c GBV \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3512734030 \|b DE-46 \|9 46 \|c GBV \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3503746412 \|b DE-104 \|9 104 \|c GBV \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 351263057X \|b DE-705 \|9 705 \|c GBV \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3562268440 \|b DE-28 \|9 28 \|c GBV \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 4499238188 \|b DE-3 \|9 3 \|c GBV \|d d \|g ebook \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3848447444 \|b DE-Wis1 \|9 Wis 1 \|c GBV \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3840059895 \|b DE-21 \|9 21 \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56393-8 \|l Zugang für die Universität Tübingen
924	1		\|a 3724216076 \|b DE-25 \|9 25 \|c BSZ \|d d \|k https://www.redi-bw.de/start/unifr/EBooks-springer/10.1007/3-540-56393-8
924	1		\|a 3673790722 \|b DE-291 \|9 291 \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56393-8 \|l Zugriff nur aus dem Universitätsnetz
924	1		\|a 3332974645 \|b DE-14 \|9 14 \|c BSZ \|d d \|k http://dx.doi.org/10.1007/3-540-56393-8
924	1		\|a 4296648608 \|b DE-352E \|9 352E \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3332974661 \|b DE-24 \|9 24 \|c BSZ \|d b \|k http://han.wlb-stuttgart.de/han/spr-lnc-eB/www.redi-bw.de/start/wlbst/EBooks-springer/10.1007/3-540-56393-8
924	1		\|a 3332974688 \|b DE-90 \|9 90 \|c BSZ \|d d \|k http://dx.doi.org/10.1007/3-540-56393-8
924	1		\|a 333297470X \|b DE-90 \|9 90 \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3332974718 \|b DE-90 \|9 90 \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3687911748 \|b DE-289 \|9 289 \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online-Dokument \|l nur aus dem Campusnetz erreichbar
924	1		\|a 3332974742 \|b DE-Frei129 \|9 Frei 129 \|c BSZ \|d b \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3694905561 \|b DE-Rt2 \|9 Rt 2 \|c BSZ \|d d \|g eBook \|k https://doi.org/10.1007/3-540-56393-8 \|l E-BOOK: Link zum Volltext - nur auf dem Campus verfügbar
924	1		\|a 3604150337 \|b DE-Mit1 \|9 Mit 1 \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3332974769 \|b DE-Kon4 \|9 Kon 4 \|c BSZ \|d d \|g eBook Springer \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online-Dokument \|l Nur aus dem Campusnetz erreichbar
924	1		\|a 4284934694 \|b DE-520 \|9 520 \|c BSZ \|d d \|g Springer \|k https://doi.org/10.1007/3-540-56393-8
924	1		\|a 3746397499 \|b DE-951 \|9 951 \|c BSZ \|d d \|g eBook Springer Lecture Notes Archiv \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online Dokument \|l eBook-Zugriff von allen im Hochschulnetz befindlichen Rechnern; Hochschulangehörige können über VPN auch von außerhalb des Campusnetzes zugreifen
924	1		\|a 3332974785 \|b DE-953 \|9 953 \|c BSZ \|d d \|g eBook Springer \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online-Dokument
924	1		\|a 3694982280 \|b DE-958 \|9 958 \|c BSZ \|d d \|g E-Book/Nationallizenz \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online-Dokument \|l Nur aus dem Campusnetz erreichbar
924	1		\|a 3332974807 \|b DE-Frei3c \|9 Frei 3c \|c BSZ \|d d \|g eBook Springer \|k https://doi.org/10.1007/3-540-56393-8 \|l Click here to access online. \|l For local users only
924	1		\|a 3695019700 \|b DE-991 \|9 991 \|c BSZ \|d b \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online-Dokument \|l Nur aus dem Campusnetzes erreichbar
924	1		\|a 3332974831 \|b DE-Mh35 \|9 Mh 35 \|c BSZ \|d d \|g E-Book Springer \|k https://doi.org/10.1007/3-540-56393-8 \|l Online-Dokument \|l Nur aus dem Campusnetz erreichbar
924	1		\|a 3695139528 \|b DE-Vil2 \|9 Vil 2 \|c BSZ \|d d \|g Springer eBooks Lectures Notes \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online-Dokument \|l Campuslizenz-von extern nach Anmeldung im Hochschulnetz erreichbar
924	1		\|a 4055556101 \|b DE-Ofb1 \|9 Ofb 1 \|c BSZ \|d b \|e n \|g E-Book Springer \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online-Dokument \|l Zugang im Hochschulnetz der HS Offenburg / extern via VPN oder Shibboleth (Login über Institution)
924	1		\|a 3694945598 \|b DE-Rav1 \|9 Rav 1 \|c BSZ \|d d \|g E-Book Springer \|k https://doi.org/10.1007/3-540-56393-8 \|l Zum Online-Dokument \|l Campuslizenz - externer Zugriff nach Anmeldung am Hochschulnetz möglich
924	1		\|a 3598272839 \|b ZDB1SLN \|9 ZDB1SLN \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56393-8 \|l Nationallizenz
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 \|q SEPA \|0 (DE-627)106418815
936	b	k	\|a 54.62 \|j Datenstrukturen \|q SEPA \|0 (DE-627)106403265
951			\|a BO
980			\|a 1649297009 \|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=Conditional+Term+Rewriting+Systems%3A+Third+International+Workshop%2C+CTRS-92%2C+Pont-a-Mousson%2C+France%2C+July+8-10%2C+1992.+Proceedings&rft.date=1993&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Conditional+Term+Rewriting+Systems%3A+Third+International+Workshop%2C+CTRS-92%2C+Pont-a-Mousson%2C+France%2C+July+8-10%2C+1992.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+656&rft.au=Rusinowitch%2C+Michael&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3540475494

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=Conditional+Term+Rewriting+Systems%3A+Third+International+Workshop%2C+CTRS-92%2C+Pont-a-Mousson%2C+France%2C+July+8-10%2C+1992.+Proceedings&rft.date=1993&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Conditional+Term+Rewriting+Systems%3A+Third+International+Workshop%2C+CTRS-92%2C+Pont-a-Mousson%2C+France%2C+July+8-10%2C+1992.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+656&rft.au=Rusinowitch%2C+Michael&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3540475494

SOLR
_version_	1795393474787278848
author	Rusinowitch, Michael
author2	Remy, Jean-Luc
author2_role	oth
author2_variant	j l r jlr
author_facet	Rusinowitch, Michael, Remy, Jean-Luc
author_role	aut
author_sort	Rusinowitch, Michael
author_variant	m r mr
building	Library A
collection	ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, SSG-OPC-mat, sid-183-col-kxpbbi
ctrlnum	(DE-627)1649297009, (DE-576)322905311, (DE-599)BSZ322905311, (OCoLC)699833795, (DE-He213)978-3-540-56393-8, (ZBM)0825.00125
doi_str_mv	10.1007/3-540-56393-8
era_facet	1992
facet_912a	ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, SSG-OPC-mat
facet_avail	Online
facet_local_del330	Bedingtes Termersetzungssystem
finc_class_facet	Informatik
fincclass_txtF_mv	science-computerscience
format	eBook, ConferenceProceedings
format_access_txtF_mv	Book, E-Book
format_de105	Ebook
format_de14	Book, E-Book
format_de15	Book, E-Book
format_del152	Buch
format_detail_txtF_mv	text-online-monograph-independent-conference
format_dezi4	e-Book
format_finc	Book, E-Book
format_legacy	ElectronicBook
format_legacy_nrw	Book, E-Book
format_nrw	Book, E-Book
format_strict_txtF_mv	E-Book
genre	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-316228877
hierarchy_parent_title	Lecture notes in computer science
hierarchy_sequence	656
hierarchy_top_id	183-316228877
hierarchy_top_title	Lecture notes in computer science
id	183-1649297009
illustrated	Not Illustrated
imprint	Berlin, Heidelberg, Springer Berlin Heidelberg, 1993
imprint_str_mv	Berlin, Heidelberg: Springer Berlin Heidelberg, 1993
institution	FID-BBI-DE-23
is_hierarchy_id	183-1649297009
is_hierarchy_title	Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
isbn	9783540475491
isbn_isn_mv	9783540563938, 3540563938, 0387563938
issn_isn_mv	1611-3349
language	English
last_indexed	2024-04-04T08:50:43.657Z
marc024a_ct_mv	10.1007/3-540-56393-8
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 @289001a2
match_str	rusinowitch1993conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings
mega_collection	K10plus Verbundkatalog, Springer Lecture Notes
multipart_link	093890923
multipart_part	(093890923)656
oclc_num	699833795
physical	Online-Ressource
publishDate	1993
publishDateSort	1993
publishPlace	Berlin, Heidelberg
publisher	Springer Berlin Heidelberg
record_format	marcfinc
record_id	1649297009
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, SpringerLink ; Bücher
source_id	183
spelling	Rusinowitch, Michael aut, Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings by Michael Rusinowitch, Jean-Luc Remy, Berlin, Heidelberg Springer Berlin Heidelberg 1993, Online-Ressource, Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 656, SpringerLink Bücher, Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Computer Science, 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), Remy, Jean-Luc oth, 9783540563938, Buchausg. u.d.T. Conditional term rewriting systems Berlin : Springer-Verl., 1993 XI, 501 S. (DE-627)12087704X (DE-576)031812538 3540563938 0387563938, Lecture notes in computer science 656 656 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/3-540-56393-8 Verlag Volltext, https://swbplus.bsz-bw.de/bsz322905311cov.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	Rusinowitch, Michael, Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings, Lecture notes in computer science, 656, Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Computer Science, Konferenzschrift 1992 Pont-à-Mousson, Bedingtes Termersetzungssystem
title	Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
title_auth	Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
title_full	Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings by Michael Rusinowitch, Jean-Luc Remy
title_fullStr	Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings by Michael Rusinowitch, Jean-Luc Remy
title_full_unstemmed	Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings by Michael Rusinowitch, Jean-Luc Remy
title_in_hierarchy	656. Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-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-a-mousson, france, july 8-10, 1992. proceedings
title_sub	Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
title_unstemmed	Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
topic	Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Computer Science, Konferenzschrift 1992 Pont-à-Mousson, Bedingtes Termersetzungssystem
topic_facet	Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Computer Science, Konferenzschrift, Bedingtes Termersetzungssystem
url	https://doi.org/10.1007/3-540-56393-8, https://swbplus.bsz-bw.de/bsz322905311cov.jpg, https://zbmath.org/?q=an:0825.00125
work_keys_str_mv	AT rusinowitchmichael conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings, AT remyjeanluc conditionaltermrewritingsystemsthirdinternationalworkshopctrs92pontamoussonfrancejuly8101992proceedings

Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Bibliographische Detailangaben

Zugang