Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedingsde Andrei VoronkovMateriasLogic programmingArtificial intelligenceAutomatic theorem provingReasoningEdiciones (1)Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings (2012)Springer · ISBN 9783642287169Más obras de Andrei Voronkov
