Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Isoinitial Semantics for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Hi-index | 0.00 |