Mustergesteuerte Strategien für das Beweisen von Gleichungen

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: Buch; Hochschulschrift
Titel: Mustergesteuerte Strategien für das Beweisen von Gleichungen
Beteiligte: Hutter, Dieter [VerfasserIn]
Erschienen: 1991
Umfang: 129 S.
Sprache: Deutsch
RVK-Notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
Schlagwörter: Automatisches Beweisverfahren > Induktionsbeweis
Entstehung:
Hochschulschrift: Karlsruhe, Univ., Diss., 1991
Anmerkungen:

0 Exemplar Exemplare

davon 0 sofort verfügbar

davon 0 bestellbar

davon 0 nicht verfügbar

Zeige weitere

weniger zeigen

(0)