THELIB
Category Rules Rules Log in
  • Books
  • Algorithms and theory
  • Theory
  • Logic and Language Models for Computer Science
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

THELIB

IT book library with translation into 8 languages.

Catalog

  • Books
  • Categories
  • Rules
  • Agreement

Account

  • Register
  • Log in
  • Support

Info

  • thelib.cc
  • v0.1
© 2026 THELIB 8 languages · AI translation on the fly