6th Workshop on Unification

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

6th Workshop on Unification

Franz BaaderFranz Baader,  J. SiekmannJ. Siekmann,  W. SnyderW. Snyder
6th Workshop on Unification


Franz Baader, J. Siekmann, W. Snyder
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992
@book{ BaaderSiekmannSnyderUnif,
  address = {{IBFI} {GmbH}, {S}chlo{\ss} {D}agstuhl, Germany},
  booktitle = {6th {W}orkshop on {U}nification},
  editor = {F. {Baader} and J. {Siekmann} and W. {Snyder}},
  series = {Dagstuhl-Seminar-Report 42},
  title = {6th {W}orkshop on {U}nification},
  year = {1992},
}