يعرض
1 - 3
نتائج من
3
تخطي إلى المحتوى
UPFind
سلة الكتب:
0
مواد
(ممتلئ)
اللغة
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
كل الحقول
العنوان
المؤلف
الموضوع
رقم الاستدعاء
ردمك/تدمد
ابحث
بحث متقدم
نتائج البحث - "Type theory."
نتائج البحث - "Type theory."
يعرض
1 - 3
نتائج من
3
تنقيح النتائج
فرز بـ
الصلة
التاريخ تنازليا
Newest to Oldest
Oldest to Newest
المؤلف
العنوان
Select Page
البريد الالكتروني
تصدير
طباعة
أضف إلى سلة الكتب
تحديد النتيجة رقم 1
1
The theory of logical types
حسب
Copi, Irving M.
منشور في 1971
رقم الاستدعاء:
جاري التحميل…
المكان:
جاري التحميل…
كتاب
جاري التحميل…
أضف إلى سلة الكتب
حذف من سلة الكتب
تسجيلة مستقلة
تحديد النتيجة رقم 2
2
Type theory and formal proof an introduction
حسب
Nederpelt, Rob
,
Geuvers, Herman
منشور في 2014
رقم الاستدعاء:
جاري التحميل…
المكان:
جاري التحميل…
كتاب
جاري التحميل…
أضف إلى سلة الكتب
حذف من سلة الكتب
تسجيلة مستقلة
تحديد النتيجة رقم 3
3
Treatise on intuitionistic type theory
حسب
Granström, Johan Georg
منشور في 2011
رقم الاستدعاء:
جاري التحميل…
المكان:
جاري التحميل…
Available for UP System via Springer Link.
Electronic Resource
أضف إلى سلة الكتب
حذف من سلة الكتب
تسجيلة مستقلة
Select Page
البريد الالكتروني
تصدير
طباعة
أضف إلى سلة الكتب
أدوات البحث:
أحصل على تغذية RSS
أرسل هذا البحث بالبريد الإلكتروني
رجوع
تنقيح النتائج
ستتم إعادة تحميل الصفحة عند تحديد منقح أو استبعاده.
CAMPUS
Diliman
نتيجة 3
3
DATABASE
Union Catalog (Buklod)
نتيجة 3
3
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
نتيجة 1
1
Diliman Main Library: Social Sciences Section
نتيجة 1
1
Institute of Mathematics
نتيجة 1
1
RESOURCE TYPE
كتاب
نتيجة 2
2
Electronic Resource
نتيجة 1
1
YEAR OF PUBLICATION
من:
إلى:
CLASSIFICATION
B - فلسفة، علم نفس، دين
نتيجة 1
1
Q - علوم
نتيجة 1
1
SUBJECT
Type theory
نتيجة 3
3
Computers
نتيجة 1
1
Logic, Symbolic and mathematical
نتيجة 1
1
Programming languages
نتيجة 1
1
AUTHOR
Copi, Irving M.
نتيجة 1
1
Geuvers, Herman
نتيجة 1
1
Granström, Johan Georg
نتيجة 1
1
Nederpelt, Rob
نتيجة 1
1
SpringerLink (Online Service)
نتيجة 1
1
LANGUAGE
English
نتيجة 3
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman