journal of universal computer science سال:2013 - دوره:19

Fa | Ar | En


journal of universal computer science
سال:2013 - دوره:19 - شماره:6

Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method - صفحه:771-804 Defining Distribution Constraints in Distributed User Interfaces - صفحه:831-850 Editorial: Managing Editor’s Column Investigations on a Pedagogical Calculus of Constructions - صفحه:729-749 LeadFlow4LD: A Method for the Computational Representation of the Learning Flow and Data Flow in Collaborative Learning - صفحه:805-830 The Riesz Representation Operator on the Dual of C[0; 1] is Computable - صفحه:750-770