Logic Programming : Proceedings of the 18th International Conference, Iclp 20...

Logic Programming : Proceedings of the 17th International Conference, Iclp 20...

Logic Programming: Proceedings of the Tenth International Conference on Logic Pr

DNA Computing and Molecular Programming: 18th International Conference, DNA 18,

Logic Programming : Proceedings of the Eleventh International Conference on L...

Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 20