Transparent rule based CAS to support formalization of knowledge
Download full text files
Postprint
Statistics
Additional Services
| Author: | Reinhard OldenburgORCiDGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-575963 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/57596 |
| ISSN: | 1661-8270OPAC |
| ISSN: | 1661-8289OPAC |
| Parent Title (English): | Mathematics in Computer Science |
| Publisher: | Springer Nature |
| Type: | Article |
| Language: | English |
| Year of first Publication: | 2017 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2019/07/03 |
| Volume: | 11 |
| Issue: | 3-4 |
| First Page: | 393 |
| Last Page: | 399 |
| DOI: | https://doi.org/10.1007/s11786-017-0300-x |
| Institutes: | Mathematisch-Naturwissenschaftlich-Technische Fakultät |
| Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik | |
| Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik / Lehrstuhl für Didaktik der Mathematik | |
| Dewey Decimal Classification: | 5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik |
| Licence (German): |  Deutsches Urheberrecht |
