-
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//
-
Link To Document :
