67-4964-02 R-Calculus, III： Post Three-Valued Logic 978-981-19-4269-3
[(publisher) Springer Verlag]
仕様
- 著者：Li, Wei/Sui, Yuefei
- 叢書名：Perspectives in Formal Induction, Revision and Evolution
- 装丁：Hard
- 発行日：2022/11/20
- 分類：オートマトン・形式言語
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|