จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
| # | นักวิจัย | ร่วมงาน |
|---|---|---|
| 1 | Burstall, Rod | 1 |
| 2 | Warren, David H. D. | 1 |
| 3 | Michie, Donald | 1 |
| 4 | Mycroft, Alan | 1 |
| 5 | Milner, Robin | 1 |
ปี
| # | พ.ศ. | จำนวน |
|---|---|---|
| 1 | 2525 | 1 |
| 2 | 2521 | 1 |
ผลงานวิจัย
| # | หัวเรื่อง |
|---|---|
| ปี พ.ศ. 2525 | |
| 1 | Abstract interpretation and optimising transformations for applicative programs |
| ปี พ.ศ. 2521 | |
| 2 | Applied logic : its use and implementation as a programming tool |
