Treffer: On Dynamically Presenting a Topology Course: On dynamically presenting a topology course

Title:
On Dynamically Presenting a Topology Course: On dynamically presenting a topology course
Authors:
Paul Cairns, Peter Collins, Jeremy Gow
Source:
Annals of Mathematics and Artificial Intelligence. 38:91-104
Publisher Information:
Springer Science and Business Media LLC, 2003.
Publication Year:
2003
Subject Terms:
proof presentation, Computing methodologies and applications, structured proof, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Pólya, 01 natural sciences, hypertext
Document Type:
Fachzeitschrift Article
File Description:
application/xml
Language:
English
ISSN:
1573-7470
1012-2443
DOI:
10.1023/a:1022963714083
Access URL:
https://link.springer.com/article/10.1023/A:1022963714083
https://eprints.whiterose.ac.uk/5586/
https://dblp.uni-trier.de/db/journals/amai/amai38.html#CairnsGC03
Rights:
Springer Nature TDM
Accession Number:
edsair.doi.dedup.....6a26fc77a6fe46c3f9f9ea6211af07af
Database:
OpenAIRE

Weitere Informationen

zbMATH Open Web Interface contents unavailable due to conflicting licenses.