Edinburgh LCF :
Gordon, Michael J. C., 1948-
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. - Springer-Verlag, 1979. - viii, 159 p. ; 24 cm. - Lecture notes in computer science ; 78 .
Includes index.
Bibliography: p. [153]-157.
0387097244
79024745
Edinburgh LCF (Computer system)
Computable functions--Data processing.
საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები კომპიუტერული სისტემების პროგრამული უზრუნველყოფა პროგრამირების ენები
QA9.59 / .G67
510/.8 s 001.6/4
004.43
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. - Springer-Verlag, 1979. - viii, 159 p. ; 24 cm. - Lecture notes in computer science ; 78 .
Includes index.
Bibliography: p. [153]-157.
0387097244
79024745
Edinburgh LCF (Computer system)
Computable functions--Data processing.
საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები კომპიუტერული სისტემების პროგრამული უზრუნველყოფა პროგრამირების ენები
QA9.59 / .G67
510/.8 s 001.6/4
004.43