| NCID | BA01432117 |
| タイトル | Algorithmic logic / G. Mirkowska and A. Salwicki |
| 出版者 | Dordrecht ; Tokyo : D. Reidel
Warszawa : PWN-Polish Scientific , c1987 |
| 形態 | xi, 372 p. : ill. ; 23 cm. |
| 注記 | Bibliography: p. [356]-368
Includes index |
| 分類 | LCC:QA267.3
DC19:511.3 |
| 件名 | LCSH:Formallanguages
LCSH:Algorithms
LCSH:Logic,Symbolicandmathematical
|
| 著者情報 | Mirkowska, Grażyna
Salwicki, Andrzej
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | オランダ |
| ISBN | 9027719284
|
| 番号 | LCCN : 85002201 |