「線形時相論理」の版間の差分
削除された内容 追加された内容
m ロボットによる 追加: de:Lineare temporale Logik, el:Γραμμική χρονική λογική 除去: fr:Logique temporelle (strong connection between (3) fr:Logique temporelle and ja:時相論理) |
WikitanvirBot (会話 | 投稿記録) m r2.7.1) (ロボットによる 追加: it:Logica temporale lineare |
||
83行目:
[[el:Γραμμική χρονική λογική]]
[[en:Linear temporal logic]]
[[it:Logica temporale lineare]]
| |||