Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Détails bibliographiques
Auteurs principaux: Arkoudas, Konstantine (Auteur), Musser, David R. (Auteur)
Format: Livre
Langue:English
Publié: Cambridge, MA MIT Press [2017]
Sujets:
Computer science > Mathematics.
Proof theory.