邏輯與法律推理的自動(dòng)化模型
2018-08-29 01:12:52塔內(nèi)爾·克瑞科密,桑德·拉薩拉夫,呂玉贊
法律方法 2018年1期
猜你喜歡
童話王國(guó)·奇妙邏輯推理(2024年5期)2024-06-19 16:03:38
法律方法(2022年2期)2022-10-20 06:44:24
中學(xué)生百科·大語(yǔ)文(2021年11期)2021-12-05 14:27:54
紡織科學(xué)研究(2021年7期)2021-08-14 01:42:34
法律方法(2021年3期)2021-03-16 05:57:02
中學(xué)生數(shù)理化·七年級(jí)數(shù)學(xué)人教版(2020年10期)2020-11-26 08:24:50
數(shù)學(xué)物理學(xué)報(bào)(2020年2期)2020-06-02 11:29:24
37°女人(2017年11期)2017-11-14 20:27:40
光學(xué)精密工程(2016年6期)2016-11-07 09:07:19
山東青年(2016年1期)2016-02-28 14:25:30
