作者:Maxime Amblard,Philippe de Groote,Sylvain Pogodalla,Christian Retoré
主题词:Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Language Translation and Linguistics,Logics and Meanings of Programs,Computational Linguistics