中央研究院 資訊科學研究所

活動訊息

友善列印

列印可使用瀏覽器提供的(Ctrl+P)功能

Netlog, Part 2: Proving Netlog Programs

:::

Netlog, Part 2: Proving Netlog Programs

  • 講者Jean-Francois Monin 博士 (LIAMA/Formes)
    邀請人:莊庭瑞老師
  • 時間2010-12-21 (Tue.) 15:00 ~ 16:00
  • 地點本所新館107演講廳