ผู้เขียน: Gopalan (University of Minnesota) Nadathur สนับสนุน1 หนังสืออิเล็กทรอนิกส์โดย Gopalan (University of Minnesota) Nadathur Dale Miller & Gopalan Nadathur: Programming with Higher-Order Logic … PDF อังกฤษ DRM €54.08 0 0 เช็คเอาท์ 0,00 × × × เปลี่ยนภาษาของผู้ใช้ × ภาษาอาหรับเยอรมันอังกฤษสเปนฝรั่งเศสภาษาฮินดีชาวอินโดนีเซียอิตาลีภาษามลายูดัตช์ภาษาโปแลนด์ภาษาโปรตุเกสภาษาโรมาเนียภาษารัสเซียภาษาสวีเดนภาษาไทยภาษาตุรกีภาษายูเครนภาษาเวียดนามภาษาจีนInternational Modal ×
