Squares in Fork Arrow Logic
- 作者Renata P. de Freitas; Jorge P. Viana; Mario R. F. Benevides; Sheila R. M. Veloso; Paulo A. S. Veloso
- 卷第32卷
- 期第4期
- 印刷ISSN0022-3611
- 电子ISSN1573-0433
- 文件大小104.78KB
- 发表时间2003-08
- DOI10.1023/a:1024847106313
- 页码343-355
海量图书期刊资源，随时随地畅享阅读乐趣