日時:2019年11月28日 (木) 16:30-18:00
場所:文学研究院・文学部E棟3階 E304号室
スピーカー:佐野勝彦 (北海道大学文学研究院・准教授)
タイトル:From Turing Machines to Kripke Models
詳細はこちらからご覧下さい。
日時:2019年11月28日 (木) 16:30-18:00
場所:文学研究院・文学部E棟3階 E304号室
スピーカー:佐野勝彦 (北海道大学文学研究院・准教授)
タイトル:From Turing Machines to Kripke Models
詳細はこちらからご覧下さい。