Journal of Automated Reasoning

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Journal of Automated Reasoning
 
e-ISSN
1573-0670
 
ISSN
0168-7433
 
Publisher Herausgeber
SPRINGER
 

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2024]
Author:  Calvanese, Diego

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ortiz, Magdalena ; Calvanese, Diego ; Eiter, Thomas Data complexity of query answering in expressive Description Logics via tableauxArtikel Article2008