Event Participants

Organizer1 people

Event Attendees

Attendee List

一般 Attendees 7 people
関数型言語の操作的意味論 in Isabelleに参加を申し込みました!
関数型言語の操作的意味論 in Isabelle に参加を申し込みました!
関数型言語の操作的意味論 in Isabelle に参加を申し込みました!
関数型言語の操作的意味論 in Isabelle に参加を申し込みました!
関数型言語の操作的意味論 in Isabelle に参加を申し込みました!
関数型言語の操作的意味論 in Isabelleに参加を申し込みました!
I joined 関数型言語の操作的意味論 in Isabelle!