共 50 条
- [12] Towards Automated Readable Proofs of Ruler and Compass Constructions ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 398 : 11 - 20
- [13] A STRUCTURE CODE FOR MACHINE READABLE LIBRARY CATALOG RECORD FORMATS JOURNAL OF LIBRARY AUTOMATION, 1981, 14 (02): : 112 - 116
- [14] Towards Automated Readable Proofs ofRuler and Compass Constructions ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (398):
- [16] Human volition: towards a neuroscience of will Nature Reviews Neuroscience, 2008, 9 : 934 - 946
- [19] Steps towards a Critical Neuroscience Phenomenology and the Cognitive Sciences, 2010, 9 : 397 - 416