Adapting Proofs-as-Programs: The Curry-Howard Protocol

Adapting Proofs-as-Programs: The Curry-Howard Protocol

Iman Hafiz Poernomo , John Newsome Crossley , Martin Wirsing
まだ評価がありません
2010 · 英語 · ペーパーバック · 2 版
棚に追加

この本を評価する


ブックジャーナルをエクスポート

レビュー

レビューはまだありません

この本の最初のレビューをして、あなたの考えを共有しましょう

レビューするためにサインイン
棚に追加

この本を評価する


ブックジャーナルをエクスポート