Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Dades bibliogràfiques
Autors principals: Arkoudas, Konstantine (Autor), Musser, David R. (Autor)
Format: Llibre
Idioma:English
Publicat: Cambridge, MA MIT Press [2017]
Matèries:
Computer science > Mathematics.
Proof theory.