Vizel, Alexander A
14  Ergebnisse:
Personensuche X
?
3

Management of Cough in Patients with Chronic Obstructive Pu..:

Avdeev, Sergey N ; Vizel, Alexander A ; Abrosimov, Vladimir N...
International Journal of Chronic Obstructive Pulmonary Disease.  16 (2021)  - p. 1243-1253 , 2021
 
?
 
?
 
?
11

Efficient generation of small interpolants in CNF:

Vizel, Yakir ; Nadel, Alexander ; Ryvchin, Vadim
Formal Methods in System Design.  47 (2015)  1 - p. 51-74 , 2015
 
?
 
?
 
1-14