Logic from programming language semantics

Zugl.:Pasadena, California Inst. of Technology, Ph. D. Thesis, 1987

Bibliographische Detailangaben

1. Verfasser:	Choo, Young-Il (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Pasadena, Calif. 1987
Schriftenreihe:	TR / California Institute of Technology Computer Science 5249
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!