<図書>

Algorithmic logic / G. Mirkowska and A. Salwicki

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
SN11:M:1 2012121881

保存書庫(旧研究室資料)

書誌詳細を非表示

出版者 Dordrecht ; Tokyo : D. Reidel
出版者 Warszawa : PWN-Polish Scientific
出版年 c1987
大きさ xi, 372 p. : ill. ; 23 cm.
一般注記 Bibliography: p. [356]-368
Includes index
著者標目 *Mirkowska-Salwicka, Grażyna
Salwicki, Andrzej
件 名 LCSH:Formal languages
LCSH:Algorithms
LCSH:Logic, Symbolic and mathematical
分 類 LCC:QA267.3
DC19:511.3
本文言語 英語
書誌ID 2001702639
ISBN 9027719284
NCID BA01432117 WCLINK

ページトップ