دانلود کتاب Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings
by Carolyn Talcott (auth.)
|
عنوان فارسی: مبانی منطق و برنامه نویسی تابعی: کارگاه آموزشی ترنتو، ایتالیا، دسامبر 15-19، 1986 مقالات |