Formal Methods in Artificial Intelligence - Allan Ramsay
-40% koodiga BOOKS
Saadetis 15-21 tööpäeva jooksul
30-päevane tagastamisõigus
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Võib-olla meeldib sulle ka
TOP
Gödel, Escher, Bach: An Eternal Golden Braid
-40% koodiga BOOKS
Meie tarnija laos
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Web Application Hacker's Handbook: Discovering and Exploiting Security Flaws
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition
-40% koodiga BOOKS
Meie tarnija laos
TOP
Mathematics for Machine Learning
Cheng Soon Ong, A. Aldo Faisal, Marc Peter Deisenroth
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Art of Game Design: A Book of Lenses
-40% koodiga BOOKS
Meie tarnija laos
TOP
How Linux Works: What Every Superuser Should Know
-40% koodiga BOOKS
Meie tarnija laos
TOP
Artificial Intelligence: A Modern Approach, Global Edition
-40% koodiga BOOKS
Meie tarnija laos
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
-40% koodiga BOOKS
Meie tarnija laos
TOP
AI Engineering: Building Applications with Foundation Models
-40% koodiga BOOKS
Meie tarnija laos
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach
-40% koodiga BOOKS
Meie tarnija laos
TOP
How To Think About AI: A Guide For The Perplexed
-40% koodiga BOOKS
Meie tarnija laos
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
-40% koodiga BOOKS
Meie tarnija laos
TOP
HBR Guide to Generative AI for Managers
-40% koodiga BOOKS
Meie tarnija laos
TOP
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers
-40% koodiga BOOKS
Meie tarnija laos
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky, Nate Soares
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Rust Programming Language
Steve Klabnik, Carol Nichols, Chris Krycho
-40% koodiga BOOKS
Meie tarnija laos
TOP
AI for Good: How Real People Are Using Artificial Intelligence to Fix Things That Matter
-40% koodiga BOOKS
Lõppenud
Kirjeldus
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Lisateave
| Autor | Allan Ramsay |
|---|---|
| Kirjastaja | Cambridge University Press |
| Väljalaskeaasta | 2009 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9780521424219 |