Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Opis bibliograficzny
Główni autorzy: Arkoudas, Konstantine (Autor), Musser, David R. (Autor)
Format: Książka
Język:English
Wydane: Cambridge, MA MIT Press [2017]
Hasła przedmiotowe:
Computer science > Mathematics.
Proof theory.