Feedback
keyword: boolean functions – 2 free books.
Automated Deduction – CADE 29
Brigitte Pientka and Cesare Tinelli, editors
Automated Deduction – CADE 28
André Platzer and Geoff Sutcliffe, editors