Alexander Steen
Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)
Alexander Steen · 2018
פרטי הספר
- שנה
- 2018
- שפה
- English
- הוצאה
- SAGE Publications, Limited
- מהדורות
- 1
- ISBN
- 9781614999195
מקור הנתונים: Wikidata