Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Algebra, Universal Data processing
- Computer algorithms 3 [ausschließen]
- Computeralgebra 3 [ausschließen]
- Datenverarbeitung 3 [ausschließen]
- Reduktion 3 [ausschließen]
- Automatic theorem proving 2 [ausschließen]
- Automatisches Beweisverfahren 2 [ausschließen]
- Algorithmes 1 [ausschließen]
- Algoritmen 1 [ausschließen]
- Algèbre universelle 1 [ausschließen]
- Algèbre universelle - Informatique 1 [ausschließen]
- Church-Rosser-Eigenschaft 1 [ausschließen]
- Hochschulschrift 1 [ausschließen]
- Reductie 1 [ausschließen]
- Reduktionssystem 1 [ausschließen]
- Rewriting systems (Computer science) 1 [ausschließen]
- Réécriture, Systèmes de (Informatique) 1 [ausschließen]
-
1
The Church-Rosser property in computer algebra and special theorem proving an investigation of critical pair, completion algorithms
Veröffentlicht 1984Abschlussarbeit Buch -
2
-
3