浙江大学论坛

 找回密码
 立即注册

扫一扫，访问微社区

浙江大学论坛»浙江大学论坛 › 浙江大学校园 › 招聘广场 › 急求计算机Isabelle\HOL 辅导老师
返回列表 发新帖

急求计算机Isabelle\HOL 辅导老师

[复制链接]
天天向上 发表于 2024-9-24 13:38:09 | 显示全部楼层 |阅读模式
急求计算机 形式化方法 Isabelle\HOL 辅导老师！酬劳可以沟通

辅导内容：Isabelle\HOL证明辅助
希望帮忙指导教会解题思路，如果能够整体补课更好，感谢！！酬劳好沟通，只希能够辅导补习！



回复

举报

返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

校园风景|浙大贴吧|心灵之约|二手交易|租房信息|招聘信息|浙大考研|封禁帐号|HK152688号|广告联系

GMT+8, 2025-9-13 11:12 , Processed in 0.017268 second(s), 8 queries , Gzip On, MemCached On.

浙江大学西湖论坛，非官方，独立自在的第三方浙大网上校园社区

本站只提供交流平台，请访客自行甄别文章内容真假！

Copyright 2010 浙江大学论坛

快速回复 返回顶部 返回列表