Bart Bogaerts

高階論理アプリケーションのためのAFTとカテゴリ理論を組み合わせたフレームワーク。

最小不満足部分集合がコンピュータサイエンスの問題解決をどう簡単にするか学ぼう。