Automatische Synthese Rekursiver Programme Als Beweisverfahren by Susanne Biundo
| ISBN: | 9783540553007 |
| Publication date: | 8th April 1992 |
| Author: | Susanne Biundo |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 259 pages |
| Series: | Informatik-Fachberichte |
| Genres: |
Mathematical theory of computation |
Automatische Synthese Rekursiver Programme Als Beweisverfahren by Susanne Biundo
Automatische Synthese Rekursiver Programme Als Beweisverfahren features in the following genres: Mathematical theory of computation
Paperback. Not Available.
Automatische Synthese Rekursiver Programme Als Beweisverfahren was written by Susanne Biundo and published by Springer an imprint of Springer Berlin Heidelberg
Automatische Synthese Rekursiver Programme Als Beweisverfahren has 259 pages
Yes it is part of Informatik-Fachberichte series