এই পাঠটি :: UTM Library Massive Scholar Tracking

বিষয়বস্তু এড়িয়ে যান

VuFind

- 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
- Монгол

বিস্তৃত

Extracting Programs from Const...
এই পাঠটি

এই পাঠটি: Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics

সংখ্যা:

প্রদানকারী:

অনুসন্ধানের বিকল্পগুলি

ইতিহাসে অনুসন্ধান করুন
বিস্তৃত অনুসন্ধান

আরও অনুসন্ধান

গ্রন্থ তালিকা ব্রাউজ করুন
বর্ণানুক্রমে ব্রাউজ করুন
চ্যানেল অন্বেষণ করুন
পাঠ্যক্রম আরক্ষিত
নতুন উপাদানগুলি

আপনার কি সাহায্যের প্রয়োজন?

অনুসন্ধান পরামর্শগুলি
গ্রন্থাগারিককে জিজ্ঞাসা করুন
জিজ্ঞাসিত প্রশ্নাবলী