テスト付きクリーニ代数の準代数構造 (産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.7)

テスト付きクリーニ代数の準代数構造

(産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.7)

Call No. (NDL): MA67-H4
Bibliographic ID of National Diet Library: 000003579324

Material type: 図書

Author: 産業技術総合研究所関西センター尼崎事業所情報科学連携研究体編

Publisher: 産業技術総合研究所関西センター尼崎事業所情報科学連携研究体

Publication date: 2002.8

Material Format: Paper

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

NDC: 411.6

View All

Notes on use

Note (General)：: 執筆: 木下佳樹, 古澤仁

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: テスト付きクリーニ代数の準代数構造
Title Transcription: テストツキクリーニダイスウノジュンダイスウコウゾウ
Author/Editor: 産業技術総合研究所関西センター尼崎事業所情報科学連携研究体編
Series Title: 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.7
Author Heading: 産業技術総合研究所サンギョウギジュツソウゴウケンキュウジョ ( 00873736 )Authorities
Publication, Distribution, etc.: 尼崎 : 産業技術総合研究所関西センター尼崎事業所情報科学連携研究体
Publication Date: 2002.8
Publication Date (W3CDTF): 2002
Extent: 5p
Size: 30cm
Alternative Title: Essentially algebraic structure for Kleene algebra with tests
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: 抽象代数学チュウショウダイスウガク ( 00573947 )Authorities
NDC 9th ed.: 411.6 : Algebra
NDLC: MA67
Target Audience: 一般
Note (General): 執筆: 木下佳樹, 古澤仁
Holding library: 国立国会図書館
Call No.: MA67-H4
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003579324
http://id.ndl.go.jp/bib/000003579324
National Bibliography No. (JPNO): 20357738
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 111