LPAR-21:第21届国际程序设计、人工智能和推理逻辑会议
贾尔斯·雷格尔
组织机构:曼彻斯特大学
网页:网址:http://www.cs.man.ac.uk/~regerg公司
此程序中的页面
2017年5月7日,星期日
IWIL-2017项目
程序
5月7日周日节目