×

找到2个文档(结果1-2)

理论演示组合器。 (英语) Zbl 1360.68802号

Johan Jeuring等人,《智能计算机数学》。2012年7月8日至13日,在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31373-8/pbk)。计算机科学课堂讲稿7362。《人工智能课堂讲稿》,202-215(2012)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份