1. Home
  2. Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Foundations and Trends(r) in Machine Learning)
  • #

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Foundations and Trends(r) in Machine Learning)

118.49 EUR 111.10 EUR 6% Off

Teilen:
Gesponsert

Holden, Sean B.: Machine Learning for Automated Theorem Proving

averdo DE
111.10 EUR
21-11-2024 09:50:27
Gesponsert

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Foundations and Trends(r) in Machine Learning)

Medimops DE
111.70 EUR
20-06-2025 06:00:25
Gesponsert

Machine Learning for Automated Theorem Proving

Hugendubel
118.49 EUR
28-08-2024 20:11:14

Ähnliche Produkte

Applying Machine Learning for Automated Classification of Biomedical Data in Subject-Independent Settings (Springer Theses)

Applying Machine Learning for Automated Classification of Biomedical Data in Subject-Independent Settings (Springer Theses)

105.94 EUR
AUTOMATED PREDICTION OF SOLAR FLARES: Integrating Image Processing and Machine Learning for the Creation of a Hybrid Computer Platform that Provides Real-Time Prediction of Solar Flares

AUTOMATED PREDICTION OF SOLAR FLARES: Integrating Image Processing and Machine Learning for the Creation of a Hybrid Computer Platform that Provides Real-Time Prediction of Solar Flares

59.00 EUR
Applied Machine Learning for Solar Data Processing: Developing Automated Technologies for Knowledge Extraction and Prediction of Solar Activities using Machine Learning

Applied Machine Learning for Solar Data Processing: Developing Automated Technologies for Knowledge Extraction and Prediction of Solar Activities using Machine Learning

59.00 EUR
Automated Machine Learning and Meta-Learning for Multimedia: Approaches and Applications

Automated Machine Learning and Meta-Learning for Multimedia: Approaches and Applications

160.49 EUR
A Systematized Framework for Smart Libraries using IoT and ML: A fully automated library management system using Internet of Things (IoT) and Machine Learning (ML) Approaches

A Systematized Framework for Smart Libraries using IoT and ML: A fully automated library management system using Internet of Things (IoT) and Machine Learning (ML) Approaches

42.14 EUR
Machine Learning Framework For Automated Detection of Diabetic Lesion

Machine Learning Framework For Automated Detection of Diabetic Lesion

35.74 EUR
Automated Machine Learning with AutoKeras: Deep learning made accessible for everyone with just few lines of coding

Automated Machine Learning with AutoKeras: Deep learning made accessible for everyone with just few lines of coding

46.60 EUR
Applying Machine Learning for Automated Classification of Biomedical Data in Subject-Independent Settings (Springer Theses)

Applying Machine Learning for Automated Classification of Biomedical Data in Subject-Independent Settings (Springer Theses)

105.94 EUR