Josef Urban

ספרים שבהם Josef Urban מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Automated Reasoning with Analytic Tableaux and Related MethodsRevantha Ramanayake

Automated Reasoning with Analytic Tableaux and Related Methods

Revantha Ramanayake · 2023

Mathematical Software – ICMS 2018James H. Davenport

Mathematical Software – ICMS 2018

James H. Davenport · 2018