Theory and Applications of Satisfiability Testing – SAT 2012
Mathematical Logic and Formal LanguagesCircuits Information and CommunicationAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesArtificial Intelligence (incl. Robotics)Mathematics
Writing a summary for young readers…
For young readers
Book data: Open Library