|
Descripción
|
|
|---|---|
| HyperVenn is a heterogeneous logic resulting from combining the individual homogeneous logics for Euler/Venn diagrams and blocks world diagrams. We provide an example proof from the system along with a brief discussion of some of its inference rules. | |
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
Lecture Notes in Computer Science |
|
ISSN
|
0302-9743 |
|
Factor de impacto JCR
|
0,402 |
|
Información de impacto
|
|
|
Volumen
|
8578 |
|
DOI
|
10.1007/978-3-662-44043-8_8 |
|
Número de revista
|
|
|
Desde la página
|
51 |
|
Hasta la página
|
53 |
|
Mes
|
AGOSTO |
|
Ranking
|
|