63

raSAT: an SMT solver for polynomial constraints

Year:
2017
Language:
english
File:
PDF, 2.44 MB
english, 2017
72

Design concepts of small CANDLE reactor with melt-refining process

Year:
2018
Language:
english
File:
PDF, 2.07 MB
english, 2018
81

WELL-POSEDNESS FOR VECTOR QUASIEQUILIBRIA

Year:
2009
Language:
english
File:
PDF, 134 KB
english, 2009