TimLiu

专注翻译大数据技术内容

所在地区 : 中国-陕西-西安
加入时间 : 2016-08-04
最近登录 : 2017-03-22 下午 20:18
我的母语 : 中文
第一外语 : 英文 ( A2 级)
资格证书 : <无>

关注的频道

翻译 0 段
翻译 0 段
翻译 53 段
翻译 0 段
翻译 0 段
翻译 0 段
翻译 0 段
翻译 0 段
翻译 0 段
翻译 0 段
翻译 0 段
翻译 0 段
翻译 0 段

最新动态

TimLiu 吱了一声
20小时前
:kissing_heart:
TimLiu 吱了一声
2天前
:scream: 忙
TimLiu 吱了一声
3天前
:stuck_out_tongue_winking_eye:
TimLiu 吱了一声
4天前
:hushed:
TimLiu 吱了一声
5天前
:persevere:
TimLiu 吱了一声
6天前
:stuck_out_tongue_winking_eye:
TimLiu 吱了一声
7天前
@shanghai
TimLiu 吱了一声
1周前
:stuck_out_tongue_winking_eye:
TimLiu 吱了一声
1周前
:wink:
TimLiu 吱了一声
1周前
zhizhi还有分吗
TimLiu 吱了一声
2周前
:worried:
曾经有一些尝试试图创造一种编程方法,可以不用给出精确的步骤,通过使用一个更加声明式的方法来引入逻辑语句和约束,并且能在其上进行演绎和求解。而困难在于,如果程序演绎不足,则可能哪里也去不成,求解器将给返回我们许多结果,除了正确的 / 想...
TimLiu 吱了一声
2周前
:stuck_out_tongue_closed_eyes:
TimLiu 吱了一声
2周前
:kissing_heart:
TimLiu 吱了一声
2周前
:stuck_out_tongue_winking_eye:
TimLiu 吱了一声
2周前
:frowning:
TimLiu 吱了一声
2周前
:heart_eyes:
TimLiu 吱了一声
2周前
:stuck_out_tongue_closed_eyes:
TimLiu 吱了一声
3周前
:stuck_out_tongue_winking_eye:
TimLiu 吱了一声
3周前
:persevere:
显示更多