Revantha Ramanayake
Automated Reasoning with Analytic Tableaux and Related Methods
Revantha Ramanayake, Josef Urban · 2023
פרטי הספר
- שנה
- 2023
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- ISBN
- 9783031435126
מקור הנתונים: Wikidata
Revantha Ramanayake, Josef Urban · 2023
מקור הנתונים: Wikidata