عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
Advances in linear logic
پدید آورنده
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
موضوع
، Logic, Symbolic and mathematical
رده
QA
9
.
A1
L56
1995
کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان
محل استقرار
استان:
کرمان
ـ شهر:
کرمان
تماس با کتابخانه :
03433257204
English
Advances in linear logic
Cambridge ; New York, NY, USA
Cambridge University Press
1995
vi, 389 p. :ill. ;23 cm.
London Mathematical Society lecture note series ; 222
Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
1
، Logic, Symbolic and mathematical
511
.
3
QA
9
.
A1
L56
1995
TI
AU Girard, Jean-Yves.
AU Lafont, Yves.
AU Regnier, Laurent.
CO Linear Logic Workshop )3991 : Mathematical Science Institute, Cornell University(
SE
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح