逻辑与计算机科学语言模型
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