ファイル:Ltlalways.png
ナビゲーションに移動
検索に移動
高解像度版はありません。
Ltlalways.png (202 × 45 ピクセル、ファイルサイズ: 995バイト、MIME タイプ: image/png)
 | This PNG image was uploaded in a graphics format such as GIF, PNG, JPEG, or SVG. However, it consists purely or largely of information which is better suited to representation in wikitext (possibly using MediaWiki's special syntax for tables, math, or music). This will make the information easier to edit, as well as make it accessible to users of screen readers and text-based browsers.
If possible, please replace any inclusions of this image in articles (noted under the “File links” header) with properly formatted wikitext. After doing so, please consider nominating this image for deletion. |  |
概要
| 解説 | Example diagram of LTL always operator |
| 日付 | |
| 原典 | 投稿者自身による著作物 |
| 作者 | Juan Antonio Navarro Perez |
ライセンス
|
この作品の著作権者である私は、この作品についての権利を放棄しパブリックドメインとします。これは全世界で適用されます。 一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。 私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。 |
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
| 日時 | サムネイル | 寸法 | 利用者 | コメント | |
|---|---|---|---|---|---|
| 現在の版 | 2006年11月14日 (火) 14:18 | | 202 × 45 (995バイト) | wikimediacommons>NavarroJ | {{Information |Description=Example diagram of LTL always operator |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} |
ファイルの使用状況
以下のページがこのファイルを使用しています:
