Mathematical logic and programming languages a discussion (15-16 Febr. 1984)

Bibliographische Detailangaben

Weitere Verfasser:	Atiyah, Michael Francis (BerichterstatterIn), Hoare, C. A. R. (BerichterstatterIn), Shepherdson, J. C. (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	London 1984
Schriftenreihe:	(Philosophical transactions of the Royal Society of London : A 1522)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!