Books / AI and ML

AI and ML

All Programming languages 1873AI and ML 893Software Development 611Algorithms and theory 548WEB development 472DevOps and Infrastructure 363Other 269Cybersecurity 233OS and System 214Game development 187Databases 157Embedded systems 153IT management 110
All Data Science 307Machine learning 170LLM 129Neural networks 97Computer Vision 41ChatGPT 39TensorFlow 30PyTorch 23Natural Language Processing 21MLOps 19熊猫 9AI Agents 1
All 2027 12026 712025 1162024 1772023 1322022 552021 452020 672019 372018 332017 172016 212015 312014 92013 62012 32011 42010 12009 32008 22007 22000 11994 11990 1
RU
Logic and Computer: Modeling Reasoning and Program Correctness Verification

Logic and Computer: Modeling Reasoning and Program Correctness Verification

A

N.A. Alyoshina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeivoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalak

AI and ML

PDF quality score:

A Excellent — copyable text, TOC, metadata B Good — text present, some data missing C Average — text is partially extractable D Poor — most likely a scan F Scan without OCR — text cannot be extracted