TY -
GEN
AU - Avenhaus, Jürgen
AU - Plaisted, David A.
TI -
General Algorithms for Permutations in Equational Inference
PY - 1999
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -