|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Sturm, Thomas |
| Title | Lineare Quantorenelimination in bewerteten Körpern |
| Type | Diploma thesis |
| School | Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | feb |
| Year | 1995 |
| Context | dvfsf |
| Domain | padics |
| Fileid | Sturm_95 |
| Name | Sturm |
| Status | redlog system |
| Xtitle | Lineare Quantorenelimination in bewerteten Körpern |
| A.D. | T.S. | www@redlog.eu | Validate |