Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Bibliografiska uppgifter
Huvudupphovsmän: Arkoudas, Konstantine (Författare, medförfattare), Musser, David R. (Författare, medförfattare)
Materialtyp: Bok
Språk:English
Publicerad: Cambridge, MA MIT Press [2017]
Ämnen:
Computer science > Mathematics.
Proof theory.