Publicações

A Labeled Deduction System for the Logic Ub

AuthID
P-009-CSM

Author(s)

Caleiro, C

Vigano, L

Volpe, M

Editor(es)

César Sánchez; Kristen Brent Venable; Esteban Zimányi

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

in 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) in International Workshop on Temporal Representation and Reasoning, ISSN: 1530-1311

Páginas: 45-53 (9)

Conference

20Th International Symposium on Temporal Representation and Reasoning (Time), Date: SEP 26-28, 2013, Location: Florida Inst Human Machine Cognit, Pensacola, FL, Patrocinadores: Florida Institute of Human and Machine Cognition (IHMC), Host: Florida Inst Human Machine Cognit

Indexing