分析技术自动化基础——逻辑方程和自动定理证明
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
1981-01-01
|
| Series: | Tongxin xuebao |
| Online Access: | http://www.joconline.com.cn/zh/article/74388131/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841537834870112256 |
|---|---|
| author | 吴士珑 |
| author_facet | 吴士珑 |
| author_sort | 吴士珑 |
| collection | DOAJ |
| format | Article |
| id | doaj-art-df21f92c5aaa4a82a6cb7408883996cc |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 1981-01-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-df21f92c5aaa4a82a6cb7408883996cc2025-01-14T08:14:36ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X1981-01-01172574388131分析技术自动化基础——逻辑方程和自动定理证明吴士珑http://www.joconline.com.cn/zh/article/74388131/ |
| spellingShingle | 吴士珑 分析技术自动化基础——逻辑方程和自动定理证明 Tongxin xuebao |
| title | 分析技术自动化基础——逻辑方程和自动定理证明 |
| title_full | 分析技术自动化基础——逻辑方程和自动定理证明 |
| title_fullStr | 分析技术自动化基础——逻辑方程和自动定理证明 |
| title_full_unstemmed | 分析技术自动化基础——逻辑方程和自动定理证明 |
| title_short | 分析技术自动化基础——逻辑方程和自动定理证明 |
| title_sort | 分析技术自动化基础 逻辑方程和自动定理证明 |
| url | http://www.joconline.com.cn/zh/article/74388131/ |
| work_keys_str_mv | AT wúshìlóng fēnxījìshùzìdònghuàjīchǔluójífāngchénghézìdòngdìnglǐzhèngmíng |