Computational logic Structure sharing and proof of program properties

Edinburgh, Univ., Ph. D. Thesis, 1973

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Moore, J. Strother (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1973
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Edinburgh, Univ., Ph. D. Thesis, 1973
Beschreibung:	Mikrofilm-Ausg.: 1 Mikrofilm