Logic and Language Models for Computer Science
A

Logic and Language Models for Computer Science

Теория
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
Язык
Английский
36
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Introduction to Python and Large Language Models: A Guide to Language Models

Introduction to Python and Large Language Models: A Guide to Language Models

Dilyan Grigorov

Programming Logic and Design, Tenth Edition

Programming Logic and Design, Tenth Edition

Joyce Farrell

Large Language Models Projects: Apply and Implement Strategies for Large Language Models

Large Language Models Projects: Apply and Implement Strategies for Large Language Models

Pere Martra

Understanding Large Language Models: Learning Their Underlying Concepts and Technologies

Understanding Large Language Models: Learning Their Underlying Concepts and Technologies

Thimira Amaratunga

Intermediate Python and Large Language Models

Intermediate Python and Large Language Models

Dilyan Grigorov

The Hundred-Page Language Models Book

The Hundred-Page Language Models Book

Andriy Burkov

Programming Language Pragmatics, Fifth Edition

Programming Language Pragmatics, Fifth Edition

Michael L. Scott, Jonathan Aldrich

Hands-On Large Language Models: Language Understanding and Generation

Hands-On Large Language Models: Language Understanding and Generation

Jay Alammar, Maarten Grootendorst

LLM Engineer’s Handbook: Master the art of engineering large language models from concept to production

LLM Engineer’s Handbook: Master the art of engineering large language models from concept to production

Paul Iusztin, Maxime Labonne

Computer Systems: A Programmer's Perspective, Third Global Edition

Computer Systems: A Programmer's Perspective, Third Global Edition

Randal E. Bryant, David R. O'Hallaron