RecordNumber
23362
Author
^aInternational conference on mathematical of program construction, Groninger, 1989
Title
Proceedings of...
Editor
J. L. A. Van de Snepscheut (ed)
Publication
Springer
Collation
vi, 420p
Series
Lecture notes in computer science, v. 375
Bibliography
Includes bibliographies
Subject
Programming (Mathematics) , Constructive mathematics
ADDED ENTRIES
De Snepscheut, J.L. A. Van, ed , ^dSeries:Lecture notes in computer science, v. 375
Main Class
519
Sub Class
.702
Cutter no
8542 I61p
Date
1989
وارد كنندة اطلاعات
fazel^d//