Agent Based Mathematical Reasoning
Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge
- 作者Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge
- 卷第23卷
- 期第3期
- 印刷ISSN1571-0661
- 文件大小624.76KB
- 发表时间1999
- DOI10.1016/s1571-0661(05)82522-8
- 页码340-351