Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th S

Mathematics of Program Construction: 9th International Conference, MPC 2008: New

Mathematics of Program Construction: 9th International Conference, MPC 2008 Mar,

Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017,

Intelligent Human Computer Interaction : 9th International Conference, Ihci 2...

Intelligent Computer Mathematics. Proceedings. Autexier, Serge.:

Intelligent Human Computer Interaction: 15th International Conference, IHCI 2023