Musa Jafar Jafar;A. Terry Bahill
-;-
Interactive Verification of Knowledge-Based Systems
IEEE Expert: Intelligent Systems and Their Applications
Selected AI-Related Dissertations
ACM SIGART Bulletin