A metalanguage for interactive proof in lcf

Bibliographische Detailangaben

Weitere Verfasser:	Gordon, M. (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	1977
Schriftenreihe:	Reports / EDINBURGH UNIV CSR-16-77
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!