Die Rheinland-Pfälzische Bibliographie
Ein Entwicklungsprojekt von lbz & hbz beta

Aufgrund einer technischen Störung musste die Rheinland-Pfälzische Bibliographie in ihrer bisherigen Form abgeschaltet werden und auf eine neue Oberfläche umziehen. Bitte beachten Sie, dass es sich hierbei um eine Version handelt, in der noch nicht alle Funktionen umgesetzt sind. Wir sind bestrebt, dies fortlaufend zu verbessern.
Titeldetails:
TitelHyper Tableaux with equality [Elektronische Ressource]
VerantwortlichBaumgartner, Peter ; Furbach, Ulrich; Pelzer, Björn. Universität Koblenz, Landau, Institut für Informatik, FB 4, Informatik
Autor/in Baumgartner, Peter | Furbach, Ulrich / 1948- | Pelzer, Björn
NE hrsg. Körperschaft Universität Koblenz-Landau / Institut für Informatik
Publikationstyp Buch
Erschienen 2007
Koblenz
Inst. für Informatik
Anmerkungenedoweb - Rheinland-pfälzischer Archivserver für elektronische Dokumente und Websites
Erschienen alsArbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau, Band Nr. 12/2007
Raumsystematik 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
NRW-Wappen Die RPB enthält aktuell 562344 Literaturnachweise | Ein Entwicklungsprojekt von lbz & hbz