Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
Logic programmingArtificial intelligenceAutomatic theorem provingReasoning
Writing a summary for young readers…
For young readers
Book data: Open Library