Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)
de Henry Kautz
Ediciones (1)
- Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning) (2007)
Morgan & Claypool Publishers · inglés · ISBN 9781598291988
