Automated Deduction - CADE 29
by Brigitte Pientka, Cesare Tinelli
Logic, symbolic and mathematicalComputer programmingComputer software, developmentArtificial intelligence
Writing a summary for young readers…
For young readers
Book data: Open Library