An edition of Automatische Synthese rekursiver Programme als Beweisverfahren (1992)
Automatische Synthese rekursiver Programme als Beweisverfahren
By Susanne Biundo
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1992
Publisher
Springer Berlin Heidelberg
Language
ger
Pages
-
Description: