Pantelimon Stanica
Pantelimon Stanica
Affiliation: Naval Postgraduate School
Pages in this Program
Bridging the gap: A complete axiomatization of Gregorian date arithmetic and scheduling logic for automated theorem provers
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑