Logo des Repositoriums
 

Dueck ß-inside Auf und Up mit Logik erster Ordnung

dc.contributor.authorDueck, Gunter
dc.date.accessioned2018-01-05T20:02:22Z
dc.date.available2018-01-05T20:02:22Z
dc.date.issued2002
dc.identifier.pissn1432-122X
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/10300
dc.publisherSpringer-Verlag
dc.relation.ispartofInformatik-Spektrum: Vol. 25, No. 1
dc.relation.ispartofseriesInformatik-Spektrum
dc.titleDueck ß-inside Auf und Up mit Logik erster Ordnung
dc.typeText/Journal Article
gi.citation.endPage71
gi.citation.publisherPlaceBerlin Heidelberg
gi.citation.startPage59

Dateien