Keyword:ATP

Publications
Dataset-Specific Strategies for the E Theorem Prover Jack McKeown and Geoff Sutcliffe In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Updated Comparative Analysis on Video Conferencing Platforms- Zoom, Google Meet, Microsoft Teams, WebEx Teams and GoToMeetings Ravinder Singh and Soumya Awasthi EasyChair Preprint 4026