Automated Deduction – CADE-22
Computer scienceCongressesAutomatisches BeweisverfahrenSymbolic and mathematical LogicKongressAutomatic theorem provingLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library