第 1 到 1 筆結果,共 1 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2017 | Non-triviality done proof-theoretically | French, R.; SHAWN MICHAEL STANDEFER | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 |