Logic and Language Models for Computer Science
A

Logic and Language Models for Computer Science

Theory
computer science mathematical logic formal languages formal methods software verification artificial intelligence theoretical foundations
Author
Dana Richards, Henry Hamburger
Publisher
World Scientific Publishing Co. Pte. Ltd.
Year
2023
Language
English
35
Rate this book

To read the book, log in / register

Preview fragment

Similar books

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