|
|
| Titel | Hyper Tableaux with equality [Elektronische Ressource] |
| Verantwortlich | Baumgartner, Peter | Furbach, Ulrich | Pelzer, Björn. Universität Koblenz, Landau, Institut für Informatik, FB 4, Informatik |
| Herausgebendes Organ |
Universität Koblenz-Landau. Institut für Informatik
|
| Verfasser/in |
Baumgartner, Peter
|
Furbach, Ulrich
|
Pelzer, Björn
|
| Publikationstyp | Buch |
|
Erschienen
|
2007
Koblenz
Inst. für Informatik
|
| Anmerkungen | edoweb - Rheinland-pfälzischer Archivserver für elektronische Dokumente und Websites |
| Erschienen als | Arbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau, Band Nr. 12/2007 |
| Raumsystematik |
Einzelne Landkreise, Verbandsgemeinden, Orte und Ortsteile
>
Koblenz, Kreisfreie Stadt
|
|
| Sachsystematik |
Einzelne Hochschule
|
|
| Schlagwörter |
Universität Koblenz-Landau. Fachbereich Informatik
|
Bericht
| 3
|
| Volltext |
urn:nbn:de:hbz:929:02-edoweb:26453071
|
Die RPB enthält aktuell 564192 Literaturnachweise