Automated and Human Proofs in General Mathematics: An Initial Comparison

Filter by date: From

Note: this only applies to the usage statistics (number of views and amount of data downloaded).

Total views: 30 (updated daily)
Disk space used: 3.74 GB
Media belongs to collection: Semantics and Syntax: A Legacy of Alan Turing

Viewing history (views per day) << 1 wk \| 1 mon \| 3 mon \| 1 yr \| all >> Precision: day \| week \| month

Download historical data

Client
Web browsers	30
iTunes	0

Location
Within the University	3
Elsewhere	27

Protocol
HTTP	30
RTSP	0