LIBRARY Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5–9, 2021, Proceedings 2021 · ENG · EPUB View details →
LIBRARY The Creative Computer: Machine Intelligence and Human Knowledge 1984 · ENGLISH · DJVU View details →