skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Extending ALCQIO with Trees
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Extending ALCQIO with Trees

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

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015-07, p.511-522

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Ricerca in corso nelle risorse remote ...