詳細情報

ID
01171406
典拠種別Type of Authority
個人名Personal Names
名称/タイトルName / Title
Gibbons, Jeremy
生年Date of Birth
1966
経歴Biographical Information
英・オックスフォード大所属
関連リンクRelated Links
NDL|01171406 (VIAF)
出典Sources
Proceedings of the first international workshop on formal methods education and training / Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)
LC典拠 (200908)
作成日Date Created
2009-08-27
最終更新日Last Updated
2009-08-31T14:51:58
他形式のデータOther formats
RDF/XML形式RDF/XML format, RDF/Turtle形式RDF/Turtle format, JSON-LD形式JSON-LD format