THELIB
分类规则 规则 登录
  • 图书
  • 算法与理论
  • 理论
  • 逻辑与计算机科学语言模型
逻辑与计算机科学语言模型
A

逻辑与计算机科学语言模型

理论
# computer science# mathematical logic# formal languages# formal methods# software verification# artificial intelligence# theoretical foundations
作者
Dana Richards, Henry Hamburger
出版社
World Scientific Publishing Co. Pte. Ltd.
年份
2023
语言
英语
39
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

Python与大型语言模型入门:语言模型指南

Python与大型语言模型入门:语言模型指南

Dilyan Grigorov

编程逻辑与设计,第十版

编程逻辑与设计,第十版

Joyce Farrell

大型语言模型项目:应用与实施大型语言模型的策略

大型语言模型项目:应用与实施大型语言模型的策略

Pere Martra

理解大型语言模型:学习其底层概念与技术

理解大型语言模型:学习其底层概念与技术

Thimira Amaratunga

中级Python与大型语言模型

中级Python与大型语言模型

Dilyan Grigorov

百页语言模型书

百页语言模型书

Andriy Burkov

编程语言实践之路,第五版

编程语言实践之路,第五版

Michael L. Scott, Jonathan Aldrich

动手实践大型语言模型:语言理解与生成

动手实践大型语言模型:语言理解与生成

Jay Alammar, Maarten Grootendorst

LLM工程师手册:从概念到生产,精通大型语言模型工程的艺术

LLM工程师手册:从概念到生产,精通大型语言模型工程的艺术

Paul Iusztin, Maxime Labonne

计算机系统:程序员的视角,第三全球版

计算机系统:程序员的视角,第三全球版

Randal E. Bryant, David R. O'Hallaron

THELIB

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

目录

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

账户

  • 注册
  • 登录
  • 支持

信息

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