Report - Towards a Unifying Logic-Based Framework (TUF) for Computing Robert Kowalski Imperial College London joint work with Fariba Sadri (There is a paper with.

Please pass captcha verification before submit form