Automated Deduction â€" CADE 28
| অন্যান্য লেখক: | |
|---|---|
| বিন্যাস: | বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ |
| ভাষা: | English |
| প্রকাশিত: |
Springer International Publishing,
2021
|
| সংস্করন: | 1 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Full text available on Springer Off-campus access |
| প্রকাশিত: | Vol. 12699 |
|---|---|
| উপাদানের বিবরণ: | <strong>Off-Campus Access:</strong> Athens ID and Password Required <strong>On-Campus Access:</strong> No User ID or Password Required |
| দৈহিক বর্ননা: | 1 online resource |
| বিন্যাস: | Mode of access: Internet |
| আইসবিএন: | 978-3-030-79875-8 978-3-030-79876-5 |
| প্রবেশাধিকার: | Electronic access restricted to authorized BRAC University faculty, staff and students |