Back to Results
First PageMeta Content
Computing / Applied mathematics / Actor model / Futures and promises / Inter-process communication / Event calculus / T-carrier / Fluent / T1 / Theoretical computer science / Logic in computer science / Logic programming


Towards a Logic-Based Unifying Framework for Computing ROBERT KOWALSKI, Imperial College London FARIBA SADRI, Imperial College London Computer Science today lacks a unified view of Computing. Instead, the main subareas,
Add to Reading List

Document Date: 2013-01-25 04:32:05


Open Document

File Size: 756,06 KB

Share Result on Facebook
UPDATE