Fingerprint
Dive into the research topics of 'Scheme-based theorem discovery and concept invention'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Scheme-based theorem discovery and concept invention
Omar Montano-Rivas, Roy McCasland, Lucas Dixon, Alan Bundy
Research output: Contribution to journal › Article › peer-review