Dieter Hutter · 7 obras en el catálogoObrasSecurity in pervasive computingApplied formal methods--FM-Trends 98Mechanizing mathematical reasoningMechanizing mathematical reasoningRipplingMMustergesteuerte Strategien für das Beweisen von GleichungenMustergesteuerte Strategien für das Beweisen von GleichungenRRippling Meta-Level Guidance for Mathematical Reasoning. CamRippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
MMustergesteuerte Strategien für das Beweisen von GleichungenMustergesteuerte Strategien für das Beweisen von Gleichungen
RRippling Meta-Level Guidance for Mathematical Reasoning. CamRippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
