Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Bibliografiske detaljer
Main Authors: Arkoudas, Konstantine (Author), Musser, David R. (Author)
Format: Bog
Sprog:English
Udgivet: Cambridge, MA MIT Press [2017]
Fag:
Computer science > Mathematics.
Proof theory.