‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy

Registered user since Sun 26 Mar 2017

Name: Michael Raskin

Affiliation: Université de Bordeaux / LaBRI

Personal website: http://mccme.ru/~raskin

Contributions

ELS 2019Author of Working with First-Order Proofs and Provers within the ELS 2019-track
Show activities from other conferences

‹Programming› 2019-profile
View general profile