Sfoglia per Autore  ABRAHAM, ERIKA

opzioni
Mostrati risultati da 1 a 1 di 1
Titolo Data di pubblicazione Autore(i) File
Satisfiability checking and symbolic computation 1-gen-2016 Abraham, Erika; Abbott, JOHN ANTHONY; Becker, B.; Bigatti, ANNA MARIA; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
Mostrati risultati da 1 a 1 di 1
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile