مدل سازی پازل ها در منطق مرتبه اول
Modelling Puzzles in First Order Logic
نویسنده: Adrian Groza
ناشر: Springer Nature
سال انتشار: 2021
تعداد صفحات: 0
زبان: English
فرمت: epub - قابل تبدیل به سایر فرمت ها
حجم فایل: 74 مگابایت
توضیحی برای این کتاب ثبت نشده است.