Automated Reasoning
by Ulrich Furbach, Natarajan Shankar
Logic designArtificial intelligenceComputer scienceSoftware engineeringAutomatic theorem provingCongressesComputer logic
Writing a summary for young readers…
For young readers
Book data: Open Library