• ราคาถูกที่สุด
  • ใหม่
Temporal ตรรกะ

Temporal ตรรกะ

 
฿ 280.82

ปริมาณของสินค้า
ในร้านค้า

นี่เป็นครั้งที่สองแล้วที่ระดับเสียงของเคารพการทำงาน temporal ตรรกะ.ถ้าเทียบกับระดับเสียง 1 จัดการส่วนใหญ่กับพื้นฐานทบทวนคอนเซ็ปท์และวิธีการของ,ระดับเสียง 2 discusses ยิ่งกปรับใช้จะๆของ temporal logics.ที่เหลือของหนังสือ discusses temporal ฐานข้อมูลของ temporal การประมวลผลแล้วตั้งโปรแกรมการกระทำการและกำลังวางแผน .คนแรกสี่ต้องออกเป็นภาษาสเปนอยู่ต่ออีกทฤษฎีนั้น presentations อยู่ในระดับเสียง 1,ปกปิด automata,branching เวลาและ labelled องการอนุมานn แล้วนั่น..


Tags: Temporal ตรรกะ


คุณสมบัติข้อเสนอ

ข้อเสนอที่คล้ายกัน