Computer Supported Formal Work: Towards a Digital Mathematical Assistant (2007)

Cached

Download Links

by Jörg Siekmann , Serge Autexier
Venue:STUDIES IN LOGIC, GRAMMAR AND RHETORIC
Citations:1 - 1 self