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)

18
checked on Dec 4, 2024

Google ScholarTM

Check


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