Automatische Synthese rekursiver Programme als Beweisverfahren
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Susanne Biundo
Themen in »Automatische Synthese rekursiver Programme als Beweisverfahren«
Automated Deduction Mathematical Induction Termersetzung Vollständigkeit program synthesis
Stimmen zu »Automatische Synthese rekursiver Programme als Beweisverfahren«
Details
ISBN: 9783642847448
Verlag: Springer Berlin
Erscheinung: 08.03.2013