Andrei Kouznetsov
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Deduction Chains and DC-like Decision Procedure for Guarded Logic Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 53 - 65ROK: 2004CZYSTY TEKSTBIBTEX
-
Multidimensional algebra on the generalized sequences Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 171 - 179ROK: 2000CZYSTY TEKSTBIBTEX
