Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
40
| Main Authors: | , |
|---|---|
| Format: | |
| Izdano: |
Natick, Mass. : A. K. Peters,
2001
|
| Teme: |
| _version_ | 1826374198507864064 |
|---|---|
| author | Kerber, Manfred Kohlhase, Michael |
| author_facet | Kerber, Manfred Kohlhase, Michael |
| author_sort | Kerber, Manfred |
| collection | OCEAN |
| description | 40 |
| first_indexed | 2024-03-04T17:13:49Z |
| format | |
| id | KOHA-OAI-TEST:95103 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T17:13:49Z |
| publishDate | 2001 |
| publisher | Natick, Mass. : A. K. Peters, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:951032020-12-19T17:01:14ZSymbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / Kerber, Manfred Kohlhase, Michael Natick, Mass. : A. K. Peters,200140PSZJBLAlgebraAutomatic theorem provingURN:ISBN:1568811454 (hbk.) |
| spellingShingle | Algebra Automatic theorem proving Kerber, Manfred Kohlhase, Michael Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / |
| title | Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / |
| title_full | Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / |
| title_fullStr | Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / |
| title_full_unstemmed | Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / |
| title_short | Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / |
| title_sort | symbolic computation and automated reasoning the calculemus 2000 symposium |
| topic | Algebra Automatic theorem proving |
| work_keys_str_mv | AT kerbermanfred symboliccomputationandautomatedreasoningthecalculemus2000symposium AT kohlhasemichael symboliccomputationandautomatedreasoningthecalculemus2000symposium |