Composition of hierarchic default specifications

dc.identifier.uri	http://dx.doi.org/10.15488/9429
dc.identifier.uri	https://www.repo.uni-hannover.de/handle/123456789/9483
dc.contributor.author	Alves Campos de Sousa Dionísio, Francisco Miguel	ger
dc.date.accessioned	2020-03-12T07:38:11Z
dc.date.available	2020-03-12T07:38:11Z
dc.date.issued	1997
dc.identifier.citation	Alves Campos de Sousa Dionísio, Francisco Miguel: Composition of hierarchic default specifications. Hannover : Universität, Diss., 1997, 209 S.	ger
dc.description.abstract	[no abstract]	ger
dc.language.iso	eng	eng
dc.publisher	Hannover : Gottfried Wilhelm Leibniz Universität Hannover
dc.rights	Es gilt deutsches Urheberrecht. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.	ger
dc.subject	Default-Logik	ger
dc.subject	Formale Spezifikationstechnik	ger
dc.subject.ddc	004 \| Informatik	ger
dc.title	Composition of hierarchic default specifications	eng
dc.type	DoctoralThesis	ger
dc.type	Text	ger
dc.relation.urn	urn:nbn:de:gbv:089-2354198932
dcterms.extent	209 S.
dc.description.version	publishedVersion	ger
tib.accessRights	frei zug�nglich	ger

Name: 235419893.pdf

Größe: 1.624Mb

Format: PDF

Die Publikation erscheint in Sammlung(en):

Fakultät für Mathematik und Physik
Frei zugängliche Publikationen aus der Fakultät für Mathematik und Physik
Dissertationen
Dissertationsschriften der Leibniz Universität Hannover