Fundamental proof methods in computer science a computer-based approach

Bibliographische Detailangaben

Hauptverfasser:	Arkoudas, Konstantine (VerfasserIn), Musser, David R. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, MA MIT Press [2017]
Schlagworte:	Informatik Mathematik Computer science > Mathematics Proof theory Beweistheorie Mathematische Logik Datenverarbeitung
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!