Mechanizing proof theory: resource-aware logics and proof-transformations to extract implicit information
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Bellin, Gianluigi (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: Edinburgh Univ. of Edinburgh, Dep. of Computer Science 1991
Schriftenreihe:University <Edinburgh> / Department of Computer Science: Thesis 80
Schlagwörter:
Beschreibung:Zugl.: Edinburgh, Univ., Diss., 1990
Umfang:X, 231 S. graph. Darst.
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik &amp; Informatik, Berichte
Signatur: 0111 2001 B 6030-80 Lageplan
Exemplar 1 Ausleihbar Am Standort