TY  - EBOOK
TI  - Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
T3  - 
T3  - 656
AU  - Rusinowitch, Michael and Remy, Jean-Luc
editor = {Remy, Jean-Luc},
A2  - Remy, Jean-Luc
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
PY  - 1993
PY  - 1993
LA  - English
KW  - Artificial intelligence
KW  - Computer science
KW  - Logic, Symbolic and mathematical
KW  - Computer Science
KW  - Konferenzschrift
KW  - 1992
KW  - Pont-à-Mousson
KW  - Bedingtes Termersetzungssystem
KW  - (DE-627)
SN  - 9783540475491
UR  - https://doi.org/10.1007/3-540-56393-8
UR  - https://swbplus.bsz-bw.de/bsz322905311cov.jpg
UR  - https://zbmath.org/?q=an:0825.00125
UR  - https://katalog.fid-bbi.de/Record/183-1649297009
ER  -