THELIB
分类规则 规则 登录
  • 图书
  • 标签:reasoning modeling

书籍 — reasoning modeling

RU
逻辑与计算机:推理建模与程序正确性验证

逻辑与计算机:推理建模与程序正确性验证

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

人工智能与机器学习
THELIB

支持 8 种语言翻译的 IT 书籍库。

目录

  • 图书
  • 分类
  • 规则
  • 协议

账户

  • 注册
  • 登录
  • 支持

信息

  • thelib.cc
  • v0.1
© 2026 THELIB 8种语言 · AI实时翻译