ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Kaivola, Roope
หน่วยงาน Edinburgh Research Archive, United Kingdom
จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
ไม่มีข้อมูลความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
# นักวิจัย ร่วมงาน
1 Stirling, Colin 1
ปี
# พ.ศ. จำนวน
1 2540 1
ผลงานวิจัย
# หัวเรื่อง
ปี พ.ศ. 2540
1 Using Automata to Characterise Fixed Point Temporal Logics