Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 制約に基づくハイブリッドシステムモデリング言語HydLaの宣言的意味論の拡張

著者
山田 悠之介 上田 和紀
出版者
人工知能学会
雑誌
2020年度 人工知能学会全国大会(第34回)
巻号頁・発行日
2020-04-01

言及状況

Twitter (1 users, 1 posts, 4 favorites)

明日JSAI2020で言語の意味論を修正してプログラムの等価性を証明した話をします〜 https://t.co/61xGWGnpQs
2 @jsaibuki1007 @_milktea6

収集済み URL リスト