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:
TitelFachberichte Informatik: Automated Deduction Techniques for the Management of Personalized Documents : 2/2002 [Elektronische Ressource]
Sonstige Furbach, Ulrich
Mitwirkung Baumgartner, Peter | Furbach, Ulrich
Publikationstyp Buch
Erschienen 2002
Anmerkungenedoweb - Rheinland-pfälzischer Archivserver für elektronische Dokumente und Websites
Volltext urn:nbn:de:hbz:929:02-edoweb:16380562
Online-Ressource:
Linknbn-resolving.org