作者:Gonzalo A. Aranda-Corral,Jacques Calmet,Francisco J. Martín-Mateos
主题词:Symbolic and Algebraic Manipulation,Artificial Intelligence (incl. Robotics),Math Applications in Computer Science,Information Storage and Retrieval,Mathematical Logic and Formal Languages,Information Systems Applications (incl.Internet)