TY - GEN
AU - Rusinowitch, Michael
AU - Remy, Jean-Luc
TI - Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
PB - Springer Berlin Heidelberg
SN - 9783540475491
KW - Artificial intelligence
KW - Computer science
KW - Logic, Symbolic and mathematical
KW - Computer Science
KW - Konferenzschrift 1992 Pont-à-Mousson
KW - Bedingtes Termersetzungssystem
PY - 1993
BT - Lecture Notes in Computer Science ; 656
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation