Vol-1009⫷ Vol-1010 ⫸Vol-1011
urn:nbn:de:0074-1010-0


None⫷None⫸None
Kenneth G. MonksNathan C. Carter

Lurch: a word processor built on OpenMath that can check mathematical reasoning