言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

Twitter (1 users, 1 posts, 0 favorites)

様相述語体系の一階述語論理への埋め込みについて https://t.co/dlyFHH668X

収集済み URL リスト