Buchumschlag

Fundamental proof methods in computer science a computer-based approach

Bibliographische Detailangaben
Hauptverfasser: Arkoudas, Konstantine (VerfasserIn), Musser, David R. (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Cambridge, MA MIT Press [2017]
Schlagworte:
Computer science > Mathematics.
Proof theory.