邏輯與法律推理的自動化模型
2018-08-29 01:12:52塔內(nèi)爾·克瑞科密,桑德·拉薩拉夫,呂玉贊
法律方法 2018年1期
猜你喜歡
童話王國·奇妙邏輯推理(2024年5期)2024-06-19 16:03:38
法律方法(2022年1期)2022-07-21 09:17:10
法律方法(2021年3期)2021-03-16 05:57:02
中學(xué)生數(shù)理化·七年級數(shù)學(xué)人教版(2020年10期)2020-11-26 08:24:50
數(shù)學(xué)物理學(xué)報(2020年2期)2020-06-02 11:29:24
法律方法(2019年3期)2019-09-11 06:27:06
光學(xué)精密工程(2016年6期)2016-11-07 09:07:19
山東青年(2016年1期)2016-02-28 14:25:30
中國衛(wèi)生(2015年1期)2015-11-16 01:05:56
核科學(xué)與工程(2015年4期)2015-09-26 11:59:03
