Biform theories in Chiron (2007)

Cached

Download Links

by William M. Farmer
Venue:Towards Mechanized Mathematical Assistants, volume 4573 of Lecture Notes in Computer Science
Citations:8 - 5 self