by Susanne Biundo
Paperback
ISBN: 978-0-387-55300-9
ISBN-10: 0-387-55300-2
Springer Verlag · 1992
|
|
by Susanne BiundoPaperback
ISBN: 978-0-387-55300-9 ISBN-10: 0-387-55300-2 Springer Verlag · 1992 |
| See also: | ||
| 1992 | Broschiert | Automatische Synthese rekursiver Programme als Beweisverfahren (Informatik-Fachberichte) (German Edition) |