ファイル:Ltlevently.png
ナビゲーションに移動
検索に移動
高解像度版はありません。
Ltlevently.png (202 × 45 ピクセル、ファイルサイズ: 872バイト、MIME タイプ: image/png)
概要
| 解説 | Example diagram of LTL eventually operator |
| 日付 | |
| 原典 | 投稿者自身による著作物 |
| 作者 | Juan Antonio Navarro Perez |
ライセンス
|
この作品の著作権者である私は、この作品についての権利を放棄しパブリックドメインとします。これは全世界で適用されます。 一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。 私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。 |
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
| 日時 | サムネイル | 寸法 | 利用者 | コメント | |
|---|---|---|---|---|---|
| 現在の版 | 2006年11月14日 (火) 14:16 | | 202 × 45 (872バイト) | wikimediacommons>NavarroJ | {{Information |Description=Example diagram of LTL eventually operator |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} Category:Logics |
ファイルの使用状況
以下のページがこのファイルを使用しています:
