Rewriting Techniques and Applicationsde Andrei VoronkovEdiciones (1)Rewriting Techniques and Applications (2009)Springer · ISBN 9783540866671Más obras de Andrei VoronkovLogic for programming, artificial intelligence, and reasoningLogic for programming artificial intelligence and reasoningLogic for programming, artificial intelligence, and reasoning
Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings