📚 自动关断技术资料

📦 资源总数：7453
💻 源代码：14778

🔥 自动关断热门资料

查看全部7453个资源 »

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。...

📅 👤 GavinNeko
自动 机器学习 推理机 程序

运用安全套接字协议实现安全隧道。这是专为那些不具有外部IP地址却仍想实现互联网服务的人设计的。服务器被置于一台拥有公网地址的计算机上。客户端运行在防火墙/网关后的某台计算机上。这使得客户端可以访问互联网。运行服务器端进程无需超级用户特权。也无须使用任何其他进程或线程。...

📅 👤 wyc199288
地址 计算机 套接 协议

💻 自动关断源代码

查看更多 »
💻
keydlpm.s43
💻
keydlas_alarm.s43
💻
keydlpm.s43
💻
keydlas_alarm.s43
💻
keydlpm.s43
💻
keydlas_alarm.s43
📂 自动关断资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 7453 个资源