Existence proofs by induction using methods of program synthesis

Bibliographische Detailangaben

1. Verfasser:	Biundo-Stephan, Susanne (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Karlsruhe 1984
Schriftenreihe:	Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1984,16
Schlagworte:	Datenverarbeitung > Induktionsbeweis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!