Grundy - orem Proving in Higher Order Logics 11th International Conf - X555z

Van Eekelen - Interactive Theorem Proving Second International Confe - X555z

Castro - Advances in Soft Computing 16th Mexican International Confe - X555z

Yacob - Fundamental and Applied Sciences in Asia International Confe - X555z

Uden - Knowledge Management in Organizations 9th International Confe - X555z

Mutzel - WALCOM Algorithms and Computation 16th International Confe - X555z

Islam - Bangabandhu and Digital Bangladesh First International Confe - X555z

Malyshkin - Parallel Computing Technologies 17th International Confe - X555z