Deduction-Detachment Theorem in Hidden K-Logics

AuthID
P-008-ZC5
2
Author(s)
Tipo de Documento
Article
Year published
2014
Publicado
in JOURNAL OF LOGIC AND COMPUTATION, ISSN: 0955-792X
Volume: 24, Número: 1, Páginas: 233-255 (23)
Indexing
Publication Identifiers
DBLP: journals/logcom/BabenyshevM14
SCOPUS: 2-s2.0-84892759944
Wos: WOS:000330447200008
Source Identifiers
ISSN: 0955-792X
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.