Robuta

https://www.fos.kuis.kyoto-u.ac.jp/mailman3/hyperkitty/list/logic-ml@fos.kuis.kyoto-u.ac.jp/thread/BYS4OX2ZBD6HDLX5NTIQYZQMVJEIFUXC/ Talk by Bakh Khoussainov (Feb 8, 11.00- at Kyoto University) - Logic-ml - fos.kuis.kyoto-u.ac.jp kyoto universitytalkbakhfeblogic https://www.dean-oliver.com/dean-oliver/?itemId=7alhg5zq9kr45yr7pcfvzfovft6lx0 DEAN and OLIVER Bakh deanoliverbakh https://www.dean-oliver.com/dean-oliver/?itemId=5v1oyuj3nwjagxpiy7rfkzvukiczw3 DEAN and OLIVER Bakh deanoliverbakh https://www.dean-oliver.com/dean-oliver/?itemId=yn3dw02hntw5g4oyw0mmbd7q4ca3ra DEAN and OLIVER Bakh deanoliverbakh