2025 Spring Meeting and 21st Global Congress on Process Safety April 6-10, 2025 Hilton Anatole, Dallas, TX
Archived Webinar Want to be an Entrepreneur? Personal Stories From Three Successful Entrepreneurs Who Have Traveled This Path.
Vernon Austel Citation name Austel, V. Affiliation IBM State NY Country USA Authored(203b) Machine Learning + Automated Reasoning for Theory DiscoveryTyler JosephsonVernon AustelKenneth A. ClarksonCristina CornelioSanjeeb DashBachir El KhadirLior HoreshSharon LiuNimrod MegiddoFrancesca NacionNeil TranCatherine M. WrabackJoao Goncalves2021 Annual Meeting (ISBN: 978-0-8169-1116-5) Associated proceedings 2021 Annual Meeting
