Sergei Artemov

Sergei Artemov

2 ספרים במאגר

ספרים

Logical Foundations of Computer ScienceSergei Artemov

Logical Foundations of Computer Science

Sergei Artemov · 2013

Justification LogicSergei Artemov

Justification Logic

Sergei Artemov · 2019

ספרים משותפים ואוספים

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

Journal of Applied Logics, Volume 8, Number 8, September 2021. Special IssueValeria De Paiva

Journal of Applied Logics, Volume 8, Number 8, September 2021. Special Issue

Valeria De Paiva · 2021