ผู้เขียน: Gernot Salzer สนับสนุน1 หนังสืออิเล็กทรอนิกส์โดย Gernot Salzer Ricardo Caferra & Gernot Salzer: Automated Deduction in Classical and Non-Classical Logics … PDF อังกฤษ DRM €57.82 0 0 เช็คเอาท์ 0,00 × × × เปลี่ยนภาษาของผู้ใช้ × ภาษาอาหรับเยอรมันอังกฤษสเปนฝรั่งเศสภาษาฮินดีชาวอินโดนีเซียอิตาลีภาษามลายูดัตช์ภาษาโปแลนด์ภาษาโปรตุเกสภาษาโรมาเนียภาษารัสเซียภาษาสวีเดนภาษาไทยภาษาตุรกีภาษายูเครนภาษาเวียดนามภาษาจีนInternational Modal ×
