Automated theory formation in pure mathematics
| العنوان: | Automated theory formation in pure mathematics |
|---|---|
| المؤلفون: | van Rijsbergen, CJ, Colton, Simon |
| بيانات النشر: | Springer |
| سنة النشر: | 2002 |
| المجموعة: | CERN Document Server (CDS) |
| مصطلحات موضوعية: | Mathematical Physics and Mathematics |
| نوع الوثيقة: | other/unknown material |
| اللغة: | English |
| العلاقة: | http://cds.cern.ch/record/2692613Test; oai:cds.cern.ch:2692613 |
| الإتاحة: | http://cds.cern.ch/record/2692613Test |
| رقم الانضمام: | edsbas.1071F650 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |