Viorica Sofronie-Stokkermans

ספרים שבהם Viorica Sofronie-Stokkermans מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Automated ReasoningNicolas Peltier

Automated Reasoning

Nicolas Peltier · 2020

Automated Deduction -- CADE-23Nikolaj Bjørner

Automated Deduction -- CADE-23

Nikolaj Bjørner · 2011

Frontiers of Combining SystemsCesare Tinelli

Frontiers of Combining Systems

Cesare Tinelli · 2011