A tableu based prover for BCK logic

Kapetanović, Miodrag; Isaković-Ilić, M.

Results

eNauka > Results > A tableu based prover for BCK logic

Title:	A tableu based prover for BCK logic
Authors:	Kapetanović, Miodrag; Isaković-Ilić, M.
Issue Date:	2001
Type:	Conference Paper
Collation:	str. 26-30
URI:	https://enauka.gov.rs/handle/123456789/579851 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4843
M-category:	Mp. category will be shown later

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.

Google Scholar^TM