-
1مؤتمر
المؤلفون: Freyd, P.J., Robinson, E.P., Rosolini, G.
المصدر: [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on. :444-452 1992
Relation: 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
-
2مؤتمر
المؤلفون: Freyd, P.J., Girard, J.-Y., Scedrov, A., Scott, P.J.
المصدر: [1988] Proceedings. Third Annual Symposium on Logic in Computer Science Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on. :274-279 1988
Relation: Proceedings Third Annual Symposium on Logic in Computer Science
-
3دورية أكاديمية
المؤلفون: Freyd, P.J., O’Hearn, P.W., Power, A.J., Takeyama, M. *, Street, R., Tennent, R.D.
المصدر: In Theoretical Computer Science 1999 228(1):49-76
-
4كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
6دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.