Henry Kautz

Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)
Henry Kautz · 2007
פרטי הספר
- שנה
- 2007
- שפה
- English
- הוצאה
- Morgan & Claypool Publishers
- מהדורות
- 1
- ISBN
- 9781598291988
מקור הנתונים: Wikidata

Henry Kautz · 2007
מקור הנתונים: Wikidata