Tomeki

Explore Books on
programmsynthese

1-2 of 2 Books

View Automatische Synthese rekursiver Programme als Beweisverfahren By Susanne Biundo
Cover of Automatische Synthese rekursiver Programme als Beweisverfahren by susanne biundo

Automatische Synthese rekursiver Programme als Beweisverfahren

By Susanne Biundo

View Logic-Based Program Synthesis and Transformation By Danny De Schreye
Cover of Logic-Based Program Synthesis and Transformation by danny de schreye

Logic-Based Program Synthesis and Transformation

By Danny De Schreye