Automated Reasoning 4th International Joint Conference Proceedings
Logic designArtificial intelligenceComputer scienceSoftware engineeringAutomatic theorem provingCongressesComputer logic
Writing a summary for young readers…
For young readers
Book data: Open Library