[logic-ml] 鈴木右京のセミナー (名古屋大学にて)

Jacques Garrigue garrigue at math.nagoya-u.ac.jp
Fri Feb 20 08:38:45 JST 2015

Previous message: [logic-ml] 鈴木右京のセミナー (名古屋大学にて)
Next message: [logic-ml] JAIST Logic Seminar Series
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20150220/a3e861a0/attachment.html>

Previous message: [logic-ml] 鈴木右京のセミナー (名古屋大学にて)
Next message: [logic-ml] JAIST Logic Seminar Series
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list