Authors: Kapetanović, Miodrag 
Isaković-Ilić, M.
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: A tableu based prover for BCK logic
Journal: Proceedings of the XIV Conference on Applied Mathematics 2001
First page: 26
Last page: 30
Issue Date: 2001
Rank: M33

Show full item record

Page view(s)

checked on Dec 7, 2023

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.