Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Bibliografiset tiedot
Päätekijät: Arkoudas, Konstantine (Tekijä), Musser, David R. (Tekijä)
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Cambridge, MA MIT Press [2017]
Aiheet:
Computer science > Mathematics.
Proof theory.