Automated deduction in Topology: two different approaches
Two approaches to theorem proving in Topology are described and some research problems in the field are given.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Università degli Studi di Catania
1988-11-01
|
| Series: | Le Matematiche |
| Online Access: | http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/714 |