日時:2019年11月28日 (木) 16:30-18:00

場所:文学研究院・文学部E棟3階 E304号室

スピーカー:佐野勝彦 (北海道大学文学研究院・准教授)

タイトル:From Turing Machines to Kripke Models

詳細はこちらからご覧下さい。

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

CAPTCHA