講演・口頭発表等

2019年3月27日

Undecidability of Hilbert's Tenth Problem and its Applications

ロジック&オートマトンワークショップ in 秋田
  • 湯山孝雄

開催年月日
2019年3月26日 - 2019年3月27日
記述言語
英語
会議種別
口頭発表(一般)