Automated Reasoning
by Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Artificial intelligenceSoftware engineeringLogicArtificial Intelligence (incl. Robotics)Computer scienceLogic designElectronic data processingMathematical Logic and Formal Languages
Writing a summary for young readers…
For young readers
Book data: Open Library