Vol-4240⫷ Vol-4241 ⫸Vol-4242
urn:nbn:de:0074-4241-0


Vol-4241/short2⫷Vol-4241/paper3⫸Vol-4241/paper4
Adam PeasePantelimon Stănică

Bridging the gap: A complete axiomatization of Gregorian date arithmetic and scheduling logic for automated theorem provers