Logo des Repositoriums
 

Automatische Synthese kombinatorischer Beweise

Kurzanzeige
dc.contributor.authorEusterbrock, Jutta
dc.date.accessioned2020-05-08T09:10:37Z
dc.date.available2020-05-08T09:10:37Z
dc.date.issued1989
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/33014
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofVol. 2, Rundbrief
dc.relation.ispartofseriesFrauenarbeit und Informatik
dc.titleAutomatische Synthese kombinatorischer Beweisede
dc.typeText/Journal Article
gi.citation.endPage27
gi.citation.startPage27
gi.conference.sessiontitleUNI-verselles

Dateien

Sammlungen

Band 02 - 1989 - Frauenarbeit und Informatik