Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

書誌詳細
主要な著者: Arkoudas, Konstantine (著者), Musser, David R. (著者)
フォーマット: 図書
言語:English
出版事項: Cambridge, MA MIT Press [2017]
主題:
Computer science > Mathematics.
Proof theory.