... 2 ITC-IRST – Istituto per la Ricerca Scientifica e Tecnologica Via ... We briefly present LMS, and its axiomatization using MultiContext Systems (MCS) ...
確定! 回上一頁