Classic-Like Analytic Tableaux for Finite-Valued Logics

AuthID
P-003-R7A
2
Author(s)
Marcos, J
3
Editor(es)
Ono, H; Kanazawa, M; DeQueiroz, R
Tipo de Documento
Proceedings Paper
Year published
2009
Publicado
in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 5514, Páginas: 268-280 (13)
Conference
16Th International Workshop on Logic, Language, Information and Computation, Date: JUN 21-24, 2009, Location: Tokyo, JAPAN
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-68749103843
Wos: WOS:000267796900022
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.