skip to main content
Lingue:
Mostra solo
Filtrati per: Argomento: Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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, July 2015, pp.511-522

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Languages represented by Boolean formulas

Veith, Helmut

Information Processing Letters, 1997, Vol.63(5), pp.251-256 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (1)

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, H.
  2. Veith, Helmut
  3. Kotek, T.
  4. Imkus, Mantas
  5. Simkus, M.

Ricerca in corso nelle risorse remote ...