Fundamentals of Logic and Computation

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

ໂດຍ Zhe Hou
3/5
ຈັດພີມມາຄັ້ງທໍາອິດ
2022
ຜູ້ເຜີຍແຜ່
Springer International Publishing AG
ພາສາ
English

ປຶ້ມ

ປຶ້ມທີ່ຄ້າຍຄືກັນ