"Potassco User Guide" 読書会 #04 - 参加者・申込者一覧

イベント参加者・申込者一覧

管理者1人
shnarazk CDCL SAT solver, Answer Set Programming, Rust, ...

どなたでも参加者 1人
どなたでも参加者 shnarazk CDCL SAT solver, Answer Set Programming, Rust, ... "Potassco User Guide" 読書会 #04 に参加を申し込みました！

Mendeley Group on Mathematical Logic

メンバー数	1人
イベント数	9回

お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。