#### DMCA

## STMM: A Set Theory for Mechanized Mathematics (2000)

### Cached

### Download Links

- [imps.mcmaster.ca]
- [imps.mcmaster.ca]
- [imps.mcmaster.ca]
- DBLP

### Other Repositories/Bibliography

by
William M. Farmer

Venue: | JOURNAL OF AUTOMATED REASONING |

Citations: | 12 - 6 self |