Skip to content
Vinony

Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

by Andrei Voronkov

Cover of Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

No description available.

Logic programmingArtificial intelligenceAutomatic theorem provingReasoning
Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings by Andrei Voronkov — book · Vinony