%0 Generic
%T Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
%A Rusinowitch, Michael
%A Remy, Jean-Luc
%I Springer Berlin Heidelberg
%@ 9783540475491
%K Artificial intelligence
%K Computer science
%K Logic, Symbolic and mathematical
%K Computer Science
%K Konferenzschrift 1992 Pont-à-Mousson
%K Bedingtes Termersetzungssystem
%D 1993
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation