Andrei Kouznetsov
2 artykuły w 1 czasopismach
-
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 - 652004CZYSTY TEKST
Andrei Kouznetsov, Deduction Chains and DC-like Decision Procedure for Guarded Logic, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 53 - 65
BIBTEX@Article{ authors = " Andrei Kouznetsov", title = "Deduction Chains and DC-like Decision Procedure for Guarded Logic", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "53 - 65" }
-
Multidimensional algebra on the generalized sequences Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 171 - 1792000CZYSTY TEKST
Andrei Kouznetsov, Multidimensional algebra on the generalized sequences, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 171 - 179
BIBTEX@Article{ authors = " Andrei Kouznetsov", title = "Multidimensional algebra on the generalized sequences", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "171 - 179" }
