| 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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.