Items where Author is "Chubaryan, Anahit"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Chubaryan, Anahit and Sayadyan, Sergey (2019) On the Proof Complexities of Strongly Equal Non-classical Tautologies. In: Advances in Mathematics and Computer Science Vol. 1. B P International, pp. 105-112. ISBN 978-93-89246-18-6

This list was generated on Thu Nov 21 17:56:42 2024 UTC.