|
|
| Titel | Tableaux between proving, projection and compilation [Elektronische Ressource] |
| Verantwortlich | Christoph Wernhard. Universität Koblenz, Landau, Institut für Informatik, FB 4, Informatik |
| Herausgebendes Organ |
Universität Koblenz-Landau. Institut für Informatik
|
| Verfasser/in |
Wernhard, Christoph
|
| 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. 18/2007 |
| Volltext |
urn:nbn:de:hbz:929:02-edoweb:26453196
|
