LATPub38: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
{{Book | {{Book | ||
|Buch oder Collection=Buch | |Buch oder Collection=Buch | ||
|Title=6th | |Title=6th Workshop on Unification | ||
|Date= | |Date= | ||
|Year=1992 | |Year=1992 | ||
|Month= | |Month= | ||
|Edition= | |Edition= | ||
|Editor=F. | |Editor=F. Baader and J. Siekmann and W. Snyder | ||
|Note= | |Note= | ||
|Publisher= | |Publisher= | ||
Version vom 20. März 2015, 16:28 Uhr
6th Workshop on Unification
F. BaaderF. Baader, J. SiekmannJ. Siekmann, W. SnyderW. Snyder
F. Baader, J. Siekmann, W. Snyder
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@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},
}
