Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Arkoudas, Konstantine (Údar), Musser, David R. (Údar)
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: Cambridge, MA MIT Press [2017]
Ábhair:
Computer science > Mathematics.
Proof theory.