時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version

(算譜科学研究速報 ; AIST-PS-2005-15)

Call No. (NDL): Y251-H928
Bibliographic ID of National Diet Library: 000007951535

Material type: 図書

Author: 関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著]ほか

Publisher: 産業技術総合研究所関西センター尼崎事業所システム検証研究センター

Publication date: 2005.9

Material Format: Paper

Capacity, size, etc.: 13p ; 30cm

NDC: -

Search by Bookstore

Search by Bookstore

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: 時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version
Title Transcription: ジソウロンリノジュウソクカノウセイハンテイキノタメノベンチマークヨウロンリシキセイセイホウ
Author/Editor: 関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著]
産業技術総合研究所関西センター尼崎事業所システム検証研究センター編
Series Title: 算譜科学研究速報 ; AIST-PS-2005-15
Publication, Distribution, etc.: 尼崎 : 産業技術総合研究所関西センター尼崎事業所システム検証研究センター
Publication Date: 2005.9
Publication Date (W3CDTF): 2005
Extent: 13p
Size: 30cm
Place of Publication (Country Code): JP
Text Language Code: jpn
NDLC: Y251
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: Y251-H928
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007951535
http://id.ndl.go.jp/bib/000007951535
National Bibliography No. (JPNO): 20906761
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 117