skip to main content
Lingue:
Cerca la mia strategia di ricerca: Mostra risultati con: Mostra risultati con:

Extending ALCQIO with Trees

Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian

Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015-07-06, p.511-522

Fulltext disponibile

Citazioni Citato da

Ricerca in corso nelle risorse remote ...