図書

図示記法表現とLTL論理式 (算譜科学研究速報 ; AIST-PS-2008-5)

Icons representing 図書

図示記法表現とLTL論理式

(算譜科学研究速報 ; AIST-PS-2008-5)

Call No. (NDL)
Y251-J242
Bibliographic ID of National Diet Library
000009355350
Material type
図書
Author
吉田聡, 竹内泉, 小池憲史, 大崎人士 [著]ほか
Publisher
産業技術総合研究所システム検証研究センター
Publication date
2008.2
Material Format
Paper
Capacity, size, etc.
12p ; 30cm
NDC
-
View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
ズシ キホウ ヒョウゲン ト LTL ロンリシキ
Author/Editor
吉田聡, 竹内泉, 小池憲史, 大崎人士 [著]
産業技術総合研究所システム検証研究センター 編
Publication Date
2008.2
Publication Date (W3CDTF)
2008
Extent
12p
Size
30cm