ABRAHAM, ERIKA

ABRAHAM, ERIKA  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
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.