Logo des Repositoriums
 
Zeitschriftenartikel

Automatische Synthese kombinatorischer Beweise

Vorschaubild

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

1989

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Vol. 2, Rundbrief
UNI-verselles

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Eusterbrock, Jutta (1989): Automatische Synthese kombinatorischer Beweise. Vol. 2, Rundbrief. Gesellschaft für Informatik e.V.. pp. 27-27. UNI-verselles

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

Band 02 - 1989 - Frauenarbeit und Informatik