Report - A Deductive Database Based on Aristotelian Logic* papers and books/Zotero...J. Symbolic Computation (1989) 7, 487-507 A Deductive Database Based on Aristotelian Logic* EYAL MOZES Department

Please pass captcha verification before submit form